At 12:10 PM, the domestic water in the building will be shut off to perform an emergency repair. All sources of water will be affected. After the water is shut off, please do not use restrooms, faucets, or water fountains. Downtime is to be determined; more information will follow.