Is it ok to use the Mercury High performance gear oil of SAE90 rather than the premium gear oil 80w-90. It does say do not mix the two oils. I think the High performance oil has a better additive to resist wear even though the 40hp is not a high performance motor.