I just received a call that there is a broken pipe/emergency shower on the 8th floor. I'm on my way to open the doors for the handymen. If someone of your group is nearby, it may be a good idea to check whether anything is damaged or can be saved. Bring waterproof shoes and clothing. Best, Lukas