These appear to be out of stock everywhere:
http://www.marcospecialties.com/pinball-parts/A-11754
Is this an acceptable equivalent?
http://www.marcospecialties.com/control/keywordsearch?SEARCH_STRING=+077-5009-00
If not, could someone please point me in the right direction?
Thanks!