Isn't this the 5* guy starting on his varsity team? If playing both isn't allowed, he made the right choice.
Getting him to BYU camps the next 2 summers will be great and he should have some good film from playing varsity 2 years. No shame in not getting play time ahead of this guy especially as a Soph. Good luck to him (& you).