She probably needs a little more, DS goes to bed at 7.30 - but can sometimes fall asleep at 8 or 8.15 (40 minutes trying to get him to sleep is the norm here) and wakes around 6.

So he gets around 10 hours max (he also wakes up during the night).