What type of grease or lube for high pressure O rings is best. Working on my own booster pump and don't want a rocket.