Long time follower, first time poster. I'm just curious about what you all think the odds are that we end up trading Jose or Edwin before the season begins or early in the season? Despite both of them being on the market next summer, do you think the tradeoff would be worth it? Thanks!