Did they use RTV instead of a head gasket on that? Or perhaps to seal the water pump and/or oil pan? See the latter two all the time these days. People don't seem to realize that the same amount of the stuff squeezes IN as it does OUT. They also don't seem to get the idea what the stuff does to both the bottom and top ends (pics to come).

Good to hear they fixed it, though!

best, whit