What to Do When a Pipe Bursts