What is the stock thickness for the seadoo 4 tec head gasket?
Is 0.040???