I had the seal inside my vacuum pump replaced. Now I have to put the pump back in. Do I lubricate the new mounting gasket (between the pump and the gear case) with motor oil or rtv or what? Also, I removed the intake tube and heating element. There is a gasket between the two, should it be replaced also? It doesn't appear to be damaged.