I need to change the head gasket on my car, but I have never done so before. Does it matter which brand of gasket I user? Also should I replace the headbolts?