I am about to change a leaking head gasket on a 2.3 litre OMC I/O. This unit operates in salt water 6 weeks/year. a) can you use a premium automotive gasket like Felpro, or b) is there a replacement marine gasket designed for salt water application, or c) does it even matter