could also look at stdev 117, career exploration, instead of AHTG 100. They expose them to different majors, and help them look at what they may want to do. A lighter class while he adjusts to college.
And/or add something like that and let him drop one of them after going to the first day or 2 of class.
But for that first semester, I've seen recommendations to not go more than 12-13 credit hours as they adjust.