If he plays summer and fall travel, that should satisfy the "face good hitters" aspect. The HS team experience will be a good opportunity for him to be a good teammate and leader under sometimes-less-than-ideal circumstances. If he finds himself in spots where he and/or his team is dominating, he can work on locating various pitches with a guy in the box, being less concerned with the outcome. This said, if the level of play is ridiculously poor, then other baseball options may be worth considering during those months.
Another challenge you will need to face and plan for is scheduling proper rest over the course of the next few years. There will always be another big tourney, travel event, showcase, tryout, etc. You will need to learn to plan ahead, schedule and be willing to say "sorry, this is his rest period". Then give sufficient time to ramp back up.