[hillegom]

I have used petroleum jelly (sparingly) on O rings before and never a problem.
The last time, I did use silicone grease, again very sparingly. You certainly do not need much of either.