so mill the head and then port/polish it? Isn't porting and polish defeats the milling? I thought milling it will be better than port and polish unless the port and polish is a machine job instead of a hand job.How much does that head gasket cost? If its cheap, then you got a simple on the spot compresion bump vs sending your head out.
Personally i vote for the head mill though. And port/polish flowed all that and a valve grind.