I don't agree. It is best for him to not lose a year of eligibility.
If he isn't "All In," it's best for him not to be on the team. That doesn't mean I'm happy he is leaving or I don't think he leaves a big hole. But, if he's not happy, that will rub off on the team even if he doesn't want it to.