One of the first things I learned in my college shop class was how to mill a piece of metal to within a few thou of the target dimension. For this kind of meas

One of the first things I learned in my college shop class was how to mill a piece of metal to within a few thou of the target dimension. For this kind of measurement, they could almost certainly just use a feeler gauge and make sure that the 4 thou gauge fits.