What should you do when a gasket blows