I pulled the dimensions off my original push button on my Nintendo Playchoice 10 arcade. I believe it's the same button for most Nintendo arcades of the era.

Turned out super glue fixed the original switch so never actually printed it, but maybe it's useful to someone. My plan was to print it standing up with supports under the overhangs, to keep the top looking clean.

It should work with the original spring. It's an M16 thread. I'm not sure what the size of the original e-clip is though. The design should work with a 6mm e-clip.