So I performed a pressure test on the engine and found air leaking out from around the oil pump. In the shop manual (1992), it shows that there is supposed to be an o-ring to seal the oil pump. But on the later year seadoos, they use a gasket between the oil pump. Should I go to a hardware store and buy the o-ring, or can I get away with just using the gasket found on new models? I feel like the gasket is an improvement over the O-ring, but I know the gasket thickness might impact the alignment of the oil pump to the RV teeth. Any suggestions?