Quoted from jeffr:That's perfect. Their site has problems taking the order, but I've emailed them. Still need to source the red dome, though.
There you go.
http://www.thepinballwizard.net/index.php?p=product&id=2109
Good luck with your restoration!