Sorry 'bout that.
The Christmas season intervened, and work intervened, and collapsed galvanized drainage pipes intervened...
On the bright side, the pipes are fixed. Unfortunately, our basement library's floor had to be jackhammered out, which proved fascinating to the kids--Louis especially.
Our budding paleontologist/martial artist happily exclaimed that our basement "looks like a dinosaur dig!"
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.