my friend is building up a big block and he was installing the heads and he noticed the new head gaskets blocked a water hole so he cut the hole out of the new gasket! is he going to run into any problems? does he need to get new gaskets again