Head gasket thickness

My machinist says he will create a program to take off the same on the dome as well