[Brian 162]

It's like when the dealer says warranty void if oil changes not performed by the selling dealer.

To answer your question you can use any approved vacuum pump oil.