In other news, there are 2 plumbers and a plaster repair guy here today working on two different problems. Hooray for old houses!