I have a 30,000 gallon in-ground vinyl liner pool. We bought the house 2 years ago, and the pool is about 20 years old. I don't know anything about its construction. Just this year we noticed a depression in the bottom of the shallow end- about 8" in diameter. Applying moderate pressure, the...