We just had a Doughboy 12x20 octagonal/oval pool installed semi-inground with a (supposedly) 7’ deep end. The installer told is we could only have a 6’ deep end. Once we were finally able to use the pool we find the deep end isn’t even 6’ deep. Is it possible to remove the liner & have the deep end re-dug in the offseason & replace the liner? Totally feel as if we were ripped off as we only went with this pool because of the 7’ deep end. Anybody know if this is doable?