The outer row of head bolt bosses are nominally 1.00” thick.

Using a caliper or a mic, measure several and average the results.

How much smaller that dimension is than 1.00” will get you really close to knowing how much has been milled off.

However, having them cc’d will be a more accurate way of determining if they’ve actually been milled “too much” for you to use.