I think 10 hours is what's recommended for this age? MANY, maybe most, parents I know have kids who get less, and DD complains that her bedtime is earlier than everybody else's (which I actually do believe). Could just be my peer group.

Okay, so, from WebMd:

"7-12 Years Old: 10 - 11 hours per day

At these ages, with social, school, and family activities, bedtimes gradually become later and later, with most 12-years-olds going to bed at about 9 p.m. There is still a wide range of bedtimes, from 7:30 to 10 p.m., as well as total sleep times, from 9 to 12 hours, although the average is only about 9 hours."

I see 10 to 11 recommended on the web generally for this age. I'd say most people I know have kids getting 9-10. I guess you're right that DD's sleep needs are withing range, though, But she certainly isn't one of these gifted kids who needs LESS. I think she'd benefit from going to bed at 7:30, honestly, but that would really chafe her. Her 3yo brother goes to bed at 7.