Does anyone have a good easy method to harden chisels, center punches, etc using a O/A torch and some cooling method ? I once heard about using certain oils.