In article , Dan Caster says...

probably non-detergent and I am pretty sure it was a single grade oil
like SAE 30 ) in a vacuum pump.

Many of the older piston pumps used straight-weight motor
oil. Actually a check of a leybold, alcatel or pfeiffer
vaccum site might pin down the answer to this question.

Jim

==================================================
please reply to:
JRR(zero) at yktvmv (dot) vnet (dot) ibm (dot) com
==================================================