Sounds reasonable. Also depends on his metrics and makeup. I know some would say he should just train in the summer and not play, but it depends on the kid, some kids need to get better at actually being on the mound and competing. Depends on his metrics and where he needs to be going into his college.
My 2020 that committed last month has pretty much shut it down. He's going to the last few summer team tournaments because this is his last summer. But just going to hang out. Our HS plays fall ball. He is already talking with his coach about not throwing in the fall. His plan is, he went back to going hard in the gym, and he won't pickup a ball until last week of October at which point he'll start arm care, and eventually throwing. Will be on a mound starting in Jan to be ready for the HS season.
As of now his plan along with hi college pitching coach is to work out next summer (throwing and lifting) throw to live batters, but now play any real games, and be ready to come into the fall.