Got one more question to make the arcade complete.    
Has anyone got ideas for a Pinball Plunger that uses a microswitch?    If I could find a good one that retracts well enough that it doesn't stick out a mile.
Probably no hope, but it wondering if others have tried this.    Thx in advance.