Well, we hired a pool company to pump out the water and reattach the liner. Not great but at least we can use the pool this summer for our relatively short season. The liner is too stretched out to fall tight so we will likely need to buy a new one next year. But we think we found the leak...after finally getting the water clear. The liner is torn at the bottom drain in the deep end. Can this be repaired?