My pool build is coming along great with one small exception, the tanning ledge ended up too shallow. It was supposed to be 8"-9" but the specifications didn't make it to the final drawings and ended up being the normal 5"-6". The pool builder recommended cutting and jack hammering the additional depth and said that it would not compromise the shell due to the 12" of shotcrete on the top of the tanning ledge. I also noticed the hole for the LED light is very close to the top of the tanning ledge, so close that I'm not sure if it will fit.
I would prefer the 8"-9" depth but not so much as to risk the integrity of the shell. If it makes a difference, the pool was just shot 4 days ago. What does everyone think? What would you do?