Eyelid latch for Funhouse / Roadshow pinball machine

I have a Funhouse pinball machine made by Williams in 1989. A while back, Rudy's eyes stopped opening and closing, which turned out to be caused by a broken plastic part. After nearly 30 years, I don't know if this part is available anywhere, but it seemed like a perfect opportunity to use my 3D printer for something useful.

[The same part is installed in both Red and Ted in Roadshow.]

Notes:

1. Important: Units in this model are inches, so you may have to scale it by 25.4 in all di