It is the 4.4. It's 20*F outside and was driven for approximately 1/10th of a mile. I doubt that the engine overheated (this time, who knows if something was warped years ago). The belt is most certainly still there.

So something like a bad radiator would be the coolant leak for $600-700?