DUAL PURPOSE VACUUM PUMP OIL