Hmm tough. If he hits Free Agency, he’s still young, has ascended every year but has never been a starter. I think he gets in the 8-10 million a year.
like others have said DEs are a premium and a lot of teams will think he can provide more with plays a game. Unless he’s at 6 mill or so I would let him go.