Does vacuum pump oil go bad?