I was wondering what the general feeling is regarding head gasket sealing. Just use a good gasket, use sealant, or a combo of both? What is the verdict?