$750 is about right for a depth change, I think I payed $500 for an extra foot in our deep end and it was a small diameter area. I can say with 100% certainty I wish I had seen a thread about going deeper in the shallow end before our build, it's my biggest and perhaps only regret. I would...