If you go to a thicker head gasket, you'll need to adjust the pushrod length along with that.