Thanks! I'm assuming that it is a leak in the liner and if so, will I have to drain the entire pool in order to fix. Or is there a product that will do it with the water still in. Probably a stupid question, but I thought I'd ask.