For this kind of measurement, they could almost certainly just use a feeler gauge and make sure that the 4 thou gauge fits.
For this kind of measurement, they could almost certainly just use a feeler gauge and make sure that the 4 thou gauge fits.