I'd be okay with moving on from Cron, I'd be curious to see what it would take to bring back Castro, 2 yr, 12? I agree you might not get much for Rosario, but maybe it's high ceiling talent that we can use to replenish some talent that we spend in a different trade. I'm not sure though in general which teams will be looking to trade away pitching, especially in the offseason when hope springs eternal. Like a Jon Gray? The Marlins are probably tapped out...