5.1 million for him to be traded or retire in 2017 is what we would save, but in 2018 it's 25.2 and 23.7 in 2019.
While it's not a ton of savings next season, you can sign players to small first year contracts with bigger future year contracts if the player is ok with it.
If we release him we save more, 14.1 million next season. It makes it less in 2018 that we save 10.6 because the team has to pay his remaining dead money but the full 23.7 in 2019 would be saved.
I'm not sure about retiring/unretiring what that would do exactly.