Thanks everyone! He has had a lot of coaching in social skills. He had speech and OT for years and it's gotten a lot better. I used the analogy of Sheldon and it's pretty fitting, but mostly I think now he just doesn't relate to kids in his class. He is very outgoing talking to people, but doesn't really get jokes, can't tell when people are lying and that kind of thing. I'm genuinely not sure he will ever learn those traits well. It's just his personality. Is he benefiting socially? Meh, I can't say that he is. He does benefit in that the boys in his class are pretty naughty and he's got a good concept of right and wrong, so that's not exactly a plus.

Yes, he has an IEP. He's actually currently in a private school, though he had an IEP in public and has current accommodations. A friend with a gifted child loaned me "Genius Denied." Is it a good read?