Thanks, I forgot it is a team option. Yah, I am guessing he is gone regardless. We are on the hook for $2mil regardless, basically. It's a team option which becomes a mutual option based on PAs in 2020-2021, which it looks likely he'll reach. Again though, while I suppose it's possible he comes close but misses the PA threshold needed to gain his option it's more likely the Brewers do not pick up his option in that scenario unless he goes bonkers numbers wise. If he does that I'd rather just have him healthy and getting his plate appearances and helping the team. If the Brewers don't think they're going to make the playoffs they could try to flip him at the deadline or they just benefit from his play.