8 to 10 hrs labor to change '225' head gasket ?????

For 8-10 hours,he must be adding time to repair the exhaust studs he breaks off,when removing them.