Okay, thanks for the correction. I guess any light wt machine oil would be more correct. I know I got some what I thought was corrosion on the teeth of pliers on my Leatherman Wave as shot of WD-40 and wipe off with a cloth did the trick, while a whip of a cloth without the WD-40 did nada.
cheers