Anecdotally, our high school only offers an Intro to CS class and we have sent a handful of kids in the last few years to MIT and Harvey Mudd. CalPoly and Colorado School of Mines are super popular and take several kids each year. Everyone seems to do well.
I think if he already has a 5 in AP CS he’s doing great and should take what he likes best.