I have a 50 year old (bought it new) 12" Mill Bastard file that finally had to be sharpened. I used a bath of white vinegar to soak file for 24 hours. Rinsed file off, dried using paper towels and heating with torch. Sprayed with WD-40 to prevent rusting. Cuts like new now!