If I'm the front office I trade him if at all possible but I don't offer him arbitration if for no other reason than to force myself to be actively looking for better pitchers in the off season. Not that I think they'd do it, but I'd really hate for them to look at the 40-man, see experienced arms like Santana, Berrios, Mejia, Hughes and Gibson along with "in the wings" guys like Gonsalves, Romero, Slegers, Jorge and Litttel and start to get the idea that they might have too many mouths to feed as it is. Gibson looks like the easiest subtraction to help motivate the team to chase better quality pitching this winter. Man, Kyle Gibson earning 5M bucks? It's hard to see him not getting his name written in pen for the rotation to start 2018.