Only thing I could find is this:
http://www.marcospecialties.com/pinball-parts/535-8927-00
Not sure that's correct even though the pic looks fine. I see this one is sold out:
http://www.marcospecialties.com/pinball-parts/515-7222-00
If not, anyone else know where I can find one or is it impossible at this time?