It might be a reasonable first step to measure this depth. If you're off on your estimate and it's only, say, 8-8.5, then that will mean less of a difference across the depth profile to go to 6-7.
Kids will jump / dive / do crazy stuff. In my opinion it's safer to have some good depth for them...