Hi!
I have huge problems repairing my pins as the nuts, bolts, and so forth, all seem to be in US Customary size. I ordered a set of hex drivers from Marcos and that solved some problems, but I still have a few issues. Could someone please be so kind as to send me what size (in US Customary) tools are needed for general pinball repair (particularly the hex wrench for flippers).
Thanks!