**** IMPORTANT
If this is not done, oil from the pump outside is sucked into the tubes and into the diffusion pump, which is very costly and time consuming to fix.