Hi, is it necessary to drain the coolant if all I want to do is change the inlet manifold gasket, thanks