I'm trying to find a name for a product that is used to cover tool bit's sharpened edges. Saw blades' teeth, end mills cutting surfaces, drill bits etc. Looks like a transparent green or red coating that I believe is applied by dipping or rotating the part through it and left to dry. To use the tool, the coating is just peeled off. It's almost like a "rhino-hide" coating but I haven't a clue as to its name.