My Craftsman 5/32 ball end allen wrench has gone AWOL. I know I can buy a whole new set from HF for cheap but I bought this set in the early 80s and I'd really rather keep it. Anyone have a spare one rattling around in the bottom of the tool box? Thanks for your time.