"Eisboch" wrote
an explanation of detergent oil.

Thanks. That all makes sense. I do have some stuff called "pump oil" or
such, and it will probably last a while for as much as I use it.

Cam