I strongly recommend he consider the University of Waterloo. It may not have that shiny Ivy League veneer, but since his main draw to CMU was its industry ties, he'll be at least as (if not more) happy there.

With his obvious drive and skill, he'll have no problems getting internships anywhere he wants from UW. And one you've got the internship, nothing else matters.