Actually, we do. While running the engine the first time, I noticed it got pretty hot (still wasn't sure if I could even trust the gauges), but it wasn't spitting water. I had a pretty good idea of the cause. Thankfully, I think (hope) we avoided any permanent damage.
Yeah, tons of people...