Since the building is so large, there are two large water heaters in the basement. They looked very new and expensive. If the flood had gone unnoticed for longer the water might have rusted the bottom of the tanks. Flooded basements can be very costly, and not just to waterproof. The bigger cost is often in replacing equipment and stored property.