Oh now I understand your concearn. well if you do decide to have the gasket changed .I might have them replace the VALVE SEALS while the head was off no big deal even with the head on the car.I dont think I would have my head rebuilt with the mileage that you have unless we were talking maybe $200.00 more for the machine shop to rebuild the head while it was off but I think your mech may balk at that Idea because it might slow him down a bit waiting around for the head to get back from the machine shop as opposed to popping the head right back on as quick as he can remove the old gasket .Sooo I guess what all this jiberish boils down to , that I dont think it would hurt to just replace the gasket.