Breaking Frozen Dirt to Repair a Broken Water Main