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 dimensions if your software is expecting mm.
2. You'll need to print this with supports, because the round part is elevated above the bed.
3. Print at high infill for strength -- I used 60%.
4. The part prints upside down. Be sure to install it correctly -- the top during printing should be the bottom during use.
5. The part is held into the solenoid plunger by a 1/16" roll pin. This hole is so small that I didn't bother to include it in the design. Instead, I used a #53 drill to drill the hole after installing the part into the plunger, then pushed the pin into place.
6. For maximum strength, I aligned the part in the plunger so that the hole goes from top to bottom, not side to side. I feel this will be stronger and less likely to break.

PS: They are still available for $4.50 at http://www.marcospecialties.com/pinball-parts/03-8480. #03-8480 LINK PLASTIC - EYE