What is the brand of 7/32 nut driver bit or driver to buy? I would prefer a bit, that way I can use the Fat Wrench to get the proper torque.