Measuring how much a head was shaved?

Maybe cc the heads and compare to what the heads were originally advertised at, or measure against and uncut set.

I bought two sets of J heads off a friend of mine, one set was un-cut, the other pair had .125", no typo 1/8" milled off them.
The pair that was milled the fly-cutter actually started to cut the top off of the casting numbers.

iLx7RH.jpg