Ithaca does sounds like a good fit for his preferences. Given Ithaca’s strength in the performing arts, however, I would look into which music opportunities/ensembles are open to non-majors. At some schools with strong music/theatre programs, non-majors are locked out of top ensembles and productions but have separate ensembles for non majors. At others (including many smaller schools) non-majors are welcome in all ensembles if they pass the audition. I am not sure which category Ithaca fits into, so worth checking.