If you still need any help on this subject I can give the
following recommendation. I use a vacuum pump oil from Griffith /
3000 N. 63rd St./ Boulder, CO 80301. I'm sorry but I don't have
their telephone number. The cost is about $7 per 32 oz.