Has anyone used this set and knows what the compressed thickness of the head gasket is. I measured the new gasket at .048 yesterday right out of the box. Thanks.