Repair work started!

I found out round-aboutly, that the repair work has started at the house. There was an innocuous note on the kitchen counter from our house sitter. "The water is off!" she said. Come to find out, the repair folks had come and removed the toilet and most of the underlayment in the master bathroom. They couldn't get the toilet water supply valve to shut off completely, so they had to turn off the main water supply for the entire house. After awhile, I realized that was a bad thing, not just for me using any bathroom, for also for the water heater, which could burn up with no water in it, so I shut that off, and the gas supply line to it. Then a funny noise reminded me that the hot water recirculation pump was operating dry, so I unplugged that. Now I think those things are a little bit safer for the next few days.