Any of you guys happen to know the compressed head gasket thickness of the stock 6.7 head gasket's??? And thanks!!!! :bigthumb: