Thanks everyone. DS is excited too. I'm hoping he can meet a professor who might be able to mentor (I'm not really in a position to mentor him--I derive great satisfaction when I can help him solve a difficult problem, but there are several I say "I don't know how they got this answer" (we're going through SAT practice test and they just give the answer, no explanation).