If there is a local option where he can play ball and get some credits, that would be win-win.
I wish my oldest had that option, because he could keep what was a really good summer job last year. But the local summer college team is coached by a D-I staffer, so JUCOs are not eligible.
Ours looks like he's going to play summer ball about 8 hours from home. We're just starting to talk through options now.