https://ehsoc.com/what-to-do-when-a-pipe-bursts/