Do you trust WD40 to be a lube then? I am very wary of it, When drilling which is about all the machining I do, I'll use 3in1. I think the difference is that ATF for instance is a fantastic lubricant but does it have the qualities needed when cutting metal?
Could start a whole thread on this!
PS I feckin hate working with stainless particularly due to its propensity to work harden in nothing flat and then eat drilling bits.
Found this which is quite interesting,
https://www.thomasnet.com/articles/process-equipment/cutting-fluids-for-machining/#:~:text=For tool steels and tough,mineral-fatty oil is used.
and discovered that WD do make a cutting lubricant!
https://www.screwfix.com/p/wd-40-cu...VGKp3Ch1gbg6bEAQYBSABEgL64PD_BwE&gclsrc=aw.ds
Maybe that is what you meant!
I use CT-90 for drilling & tapping no time to put up a linky tis fish n chips time.