Head gasket thickness