knowledgable engine guys!

IF the engine has not been messed with, his head gasket being stock that is, he all ready has the thin gasket on top and would need to find another one to replace it with or mill an extra amount that is the difference of the gasket thickness.
That can be an easy .020 extra head milling. Eeeeek!!!!