I am in the process of building a pool and I wanted a nice big shallow end but also a deep end that was deep enough to dive in safely from deck (no diving board or jumping rock). I am doing a rectangular pool (16 x 40) with a 3.5 foot shallow end. My builder suggested 7 feet for deep end. Is...