Nothing fancy, I just acquired out of my quest for a good tool box, (see other thread) many tools that had been owned by a mechanic. Obviously he used them often and clearly some of them had been with him for a long time. I have a pile of stuff to bring to the Craftsman, Mac or Snap-On guy for replacement.
It also seems that this mechanic did not come from the school where they keep all of their tools in neat order clean and oiled. So I have lots of hand tools; well worn and coated with thin layer of whatever crap he worked on. If it were a few pieces, what I have done in the past is use WD40 as a cleaner/lube. But it seems like allot of WD and also, if ever there was someone with a better idea, this would be that crowd.
So any suggestions? If you had a big pile of well used mechanic's hand tools, what would you use to clean them up?