Title: Oils for the machine shop