The plumbers were here today. They extended the gas line for the dryer, added a p-trap for the washer, and repaired the bathroom tub faucet, which turned out to be totally rusted out and destroyed. This required cutting out a portion of the wall. We're not looking forward to the final bill.

But it's nice to have a real faucet. The previous situation was ridiculous.