Oil leaks from vacuum pumps