Rainaldi Plumbing fixed the leak today and did a good job. The next step is repairing the water damage, and I suspect it will be more work than fixing the leak since carpet and bathroom cabinets are involved. Or maybe I’ll just push my desk back up against the wall and pretend nothing ever happened.