That's what I presumed too, but one thing that crossed my mind though is the pool was put in in 2015, and started getting leaks in 2020. From what I understand, pools should not be leaking when only 5 years old, so what causes the original leaking? I was told it was a "on the cheap" job. I...