I know he's like really good and this may be an unpopular opinion but I don't really want Marte.
It would sort of feel like a slap in the face to suck all these years, build up the farm, and then just trade it away for a bunch of guys 32 and up.
Imagine siging Bregman and/or trading for Marte? between those two and Story they're all going to be 32 and 33 next year and the vast majority, by far, fall off a cliff between 30-35.
If I'm trading for guys, and I'm using up some of my better assets.....I'm getting back younger cost controlled guys.
They all can't be elite like Crochet, but that's the type of trade I'm ok with, a guy who's young and in his prime. Otherwise I'd rather just build a homegrown team like KC or go out and spend the money.