Glad to hear it's Ok. A knife or other tempered tool can be saved by grinding away past the color. If using power tools you do have to be careful and not get in a hurry or you will just make it worse. Go slow and cool a lot. I do it bare handed to feel how hot the metal is getting. Something most people today forget about is this can be done with hand tools. A sharp file will cut most knife steel and there is no danger of overheating. file to shape, then sharpen, and you are good to go.