Be aware of the difference between a double major and a double degree. A double major may not take more than 4 years, but a double degree will. Again, this is very helpful and your son might enjoy looking at it:
http://www.peabody.jhu.edu/conservatory/admissions/tips/doubledegree.html