I like Gimenez, and while he's not as good as Lindor, they'll get more WAR from five years of Gimenez than they gave up in one year of Lindor. Rosario was a good late addition to the trade. He hasn't lived up to his prospect potential, but he's a MLB player who can help the team during their rebuild. The prospects are talented but young. Sounds like Wolf's draft status moved up when he hit 97 on the radar gun, but really needs to develop his secondary pitches, while Green is an athletic speedster who's "baseball skills" need a lot of polish. Unfortunately, like most young players they lost a year of development due to the Covid lockdown. Both have a lot of potential, and we'll see where they go from here. I don't think they'd be in the top three of Brewers' prospects, but they'd be good prospects to have. Getting two MLB players back probably reduced the "prospect haul," but Gimenez was #7 in the Rookie of the Year voting last year, so he's not a bad guy to have on the roster. Prospects are also very hit and Miss too.