The plumbing job is underway, with what seems to be the usual hiccough along the way. The line is old 3/4" flexible copper tubing, in rather battered shape, not readily adjusting to a patch of straight copper. It's Saturday and the hardware stores aren't open 24 hours.

Fingers crossed. Otherwise, I'll have to call a plumber and see what magic they can work.