RoyBoy posted:Rob, what is the brand name of that tool or a source of that tool? I have been looking for one.
Anyone that's ever tinkered with pinball machines probably has a set of these.
They're handy as they have all angles, you can reach practically any flat contact and adjust it. I also still have a couple of the contact burnishing tools.