Trading for Alcantara would be a great idea. Miami seems to have a few decent pitchers, I'd be happy to take them all. That said, I'm not sure Miami would want those two guys, I'm honestly not sure what they're doing, but they have five prospects in the top 100, three of which are pitchers in AA, AAA, MLB this year. They'll have a top 6-7 pick this year and a supp, I believe. Other than the weird 2020 season, they haven't been a winning team since 2009. It looks like they are desperate for bats. And we have bats.