I've got a 18x32ft in-ground lined pool in the garden (approx 1970s intall, a company called Fernden).
The deep end is 8ft - and for reasons of child safety I'm keen to raise the bottom to a maximum of about 4.5 ft.
I've had a contractor quote the job on site ($ many thousands!), and another...