Just had head skimmed but not sure how to measure for new head gasket they skimmed 4 thou off head not sure how to measure thanks.