Don't trade!
Let it play out, a lot of things can happen.
New coaches, new systems, new players around him, injury......
If he fits in things will work themselves out.
If he is too disgruntled and a disruption, leave him on bench and nobody will want him next year anyway, he will only screw himself.
If they lose him for no comp, oh well move on , it's football!