That's a horse of a different color. I would do the job the same way. My remark stemmed from reading "replace head gasket, 1100.00". As you said, still a good job. Good luck with it. Login to read more.