Pinball Buttons
thingiverse
Cheap alternative for the actual buttons. Uses a 7MM PTM button, Same diameter as listed on Pinball Mania, so should be a direct upgrade but not tested. The nut does not print perfectly and thus their is a gap in the thread, but the pinball side uses a standard Inch thread the same as the actual part. I have my hole as an interference fit and thus the nut is not required.
Download Model from thingiverse
With this file you will be able to print Pinball Buttons with your 3D printer. Click on the button and save the file on your computer to work, edit or customize your design. You can also find more 3D designs for printers on Pinball Buttons.