Hi all, we opened our pool Friday and just as the service company was about to leave, I noticed some water bubbling out of the ground next to our pool -YIKES. Turns out that one of our pipes was cracked during the install of our cover last November. The pool service guys promptly turned the pool off and explained that this can happen, and said they'd be back on Monday to dig down and fix the pipe. Has this happened to anyone in the past? What should I be aware of and/or make certain takes place? I'm a new pool owner (we just installed last year, so this will be our 2nd summer) and want to make sure I'm asking the right questions and protecting our investment! Thanks in advance for any help, Marta