I agree with everyone here....Fix before replace but if you want or need to buy a new one, they are fairly common. Try...
http://www.bigdaddy-enterprises.com/
https://ksarcade.net/
http://www.marcospecialties.com/
http://www.pinballlife.com/
or E-bay of course.