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...