Repair a Burst Pipe in 10 Minutes or Less