Replacing a manifold gasket - need advice