"Very good" might be a little of a stretch -- over 5 seasons he put up an ERA+ of 102... and that's including his ridiculous 2016. Not going to run the numbers without that year, because it happened and absolutely counts, but it definitely is not close to his true talent level. He was fine third to fourth starter fodder, but I think we're getting rid of him at the right time for sure. Perhaps a move to the NL will mask his deficiencies for a few more seasons.
But he pitched some big postseason innings in 2018 and obviously had a hell of a 2016. At this point, I am glad we're moving on, but I'll tip my cap to him and thank him for 2018 for sure.