Indeed. Two hoses, a seal, and a coolant flush & fill. Somewhere in the $250-300 range. Not ideal, but not unbearably painful either. They can do the repair today.
triadruid, can you come get me a bit early (4:30-5ish) so that we can be sure to get there and pick him up before they close?