After the alert from Mike tonight I checked the basement restroom about 8:30pm. The toilet pipes are still leaking but it is a slow leak. I don’t think there will be much more heavy leaking through the night, but I will try to catch the cleaners to make sure they know to mop up the ever-widening puddle that is down there now. Looks like plumbers will need to be requested tomorrow.