New Repair Crew Helps City of San Diego Set Record for Fixing Underground Pipes 2022-7-14_pipe_repair_milestone_0.pdf