Is there such thing as a good lifter?

I'm no machinist, but I would have thought soluable oil would have been more appropriate than wd40 as a cutting lubricant? Walk into a machine shop, and the place stinks of it. (I quite like the smell, it reminds me of freshly machined engine parts)

Edit, @ that LA-Phant video