I am currently having a 20x40 rectangle pool installed. The deep end is 8' deep. The builder had the shallow end 12' long and starting the slope to the deep. He said the slope is 14' to keep from having such a steep slope and possible hitting during diving. I think the 12' is small for the shallow end. Is the 12' the correct length for the 20x40 pool. Thanks.