do you know if he was using a steel or composite head gasket?