I am trying to determine what type of oil would be acceptable to use in a vacuum pump. I am not real sure what purpose the oil serves in the pump so I don't know whether I can substitute something other than what came in it. I need to use the pump now but don't know when I will be able to obtain the correct oil. I currently have on hand some ATF, some 30wt motor oil, and some 5w-40 motor oil. I also have some mineral oil in the form of "baby oil". Are any of these acceptable or will they damage the pump?