2 questions.. first the intake gasket has these cut out, the heads dont, the old gaskets that was filled as well. Will these gaskets still work, should I use the old ones or should I get different gaskets? Second, the cork on the gasket by the distributor hangs over the block a little, should I trim it?