According to RosterResource.com (https://www.rosterresource.com/mlb-miami-marlins/), Miami's needs include: Starting pitching, a shortstop, a first baseman, and a closer. The key for the Crew is to fill two of those needs, and the Crew has an edge in that they can offer Miami a MLB-ready replacement for Realmuto in Jacob Nottingham. So, have Nottingham in the trade. Mauricio Dubon would fill Miami's need for a shortstop. So, two MLB-ready prospects, one of whom fills a need. Then the Crew has the option of including either Jesus Aguilar or Eric Thames to fill Miami's need for a first baseman. Probably Aguilar. No need to give up a pitching prospect. Then, the hard part is seeing if Realmuto will sign an extension to stay in Milwaukee for three more years on top of the two he's signed for.