Vacuum pump maintenance

Diffusion pump maintenance