We’re having our pool renovated. We currently have built in ladder/steps with a hand rail on the deep end, but I’d like to build a deep end ledge, not too big, just big enough for one person to be able to swim out at a time. What is the average cost for building something like that?