It never leaked until he rebuilt it and had it "tanked".

Apparently, enough sediment and goo had built up in the water jackets to stop the leak.

I told him to run straight water in it come springtime, and hope the hole (crack, porosity, whatever) seals itself again.