Over the summer, our pool developed a tear in the liner (fortunately, above the waterline), and that meant it was time to replace it. Not a cheap endevour, but necessary, and besides, there was a hard-metal stain in the shallow end that we inherited when we bought the house that I won’t be sorry to see gone. Anyway, the company we hired to do the work set up the pump yesterday to pump all 19,000 gallons of water out into the sewer system, and now that the work’s done, we’re busy dumping another 19,000 gallons back into the pool. I wish there had been a better way…