Quoted from Atari_Daze:I'm not sure all games are created equal as far as rivets, but I used 3/32" x 5/32" from Marco in order to repair the ramps on my Hardbody. http://www.marcospecialties.com/pinball-parts/07-6688-4
And used this hand held tool set from Amazon to set them:
amazon.com link »
Note in this case, the 3/32" diameter is of the rivet shaft and 5/32" is the length. Head diameter is rarely given, or at least was rare in my experience any how.
Also pay attention to solid vs. tubular vs. semi-tubular rivets, in my pin they were of the semi-tubular variety.
Hope this helps and gives you a start![quoted image]
The link to the handheld tool is not available. Is it a pop rivet gun? And where did you find the metal flaps to fix it?