Almost time for the machinist!

FWI the Mr. G head gasket part # is 1121g , but I myself prefer your "option 1" for what to do.