There are many standard stamped wrenches available, but having a custom punch and die made costs only a few hundred dollars, so manufactures are free to specify the exact wrench needed for their particular kit.
Location: Box 42
Have you used this tool? Think my description is all wrong? Have a better example? Comment now with any thoughts you have about this tool!
