I'm guessing it was either a routine use of a cleaning solvent or a particular brand of oil that had an additive. It'd probably be some kind of product from yesteryear that may or may not be available today. Maybe Marvel Mystery Oil or some such thing?