30 foot of pipe had to be replaced, at the cost of $175 per foot. That's mostly labor--and back-breaking at that. Fortunately, homeowner's insurance covers it. After they first tried to deny coverage, of course.

Isn't that frustrating?

After my plumber called the adjuster up and re-acquainted him with reality, all became well. The cement has been poured and we should have a working semblance of a library shortly. Though we have to have it professionally cleaned and get replacement tile in. Whee.

On the bright side, I did need to rearrange the library anyway--the Late Unpleasantness material was all over the place, and now I'll be able to organize it properly.