Philosophically, I think when I have to make this kind of decision I try to play to my kids' strengths. Developing their strengths is going to help them overcome their weaknesses.

If your DS is in an environment with other kids at his cognitive level and who share interests with him, he is going to have many more opportunities for successful social interactions. I am speaking from personal experience... I have been told (as an adult) by professionals that I am "Aspergery" although the diagnosis did not exist when I was a child. I was certainly more severely affected as a child--regular public school was torture. The three years I spent at a GT middle/high school were the best of my K-12 experience. They were the only years where I felt that I fit in at all.