On second thought, it is not clear to me that there is "for sure" any kind of head gasket leak. It may just be the water pump.
How did you guys eventually know that it was the head gasket? Did it just suddenly get worse?
The final straw for me was a stumbling motor on cold start and then a couple days later it finally got so bad that it triggered the CEL for misfire #6 cyl.