one of my friends is doing headgaskets on an sc and decided to upgrade to a 5 percent pulley, he says that there is a gasket that is leaking, is this the snout gasket or something? and where does he get one?