what do you guys use when you are drilling and tapping in steel. I use to never use any but I've read it makes your cutting tools last longer and keep them cool. I've thought motor oil would be good. Some say they use wd40. I think that is a little to thin for that. So whats up.