Did you use any type of sealant material on the gasket?