How soon did they get it fixed from the time it started, and did you run it till they did? I shocked it to be sure chlorine was high enough, and hope to get by running it as little as possible. I'd hate to lose it, but am not sure if it is ok to be running it with a leak.