IKF has a career wRC+ of 85, McMahon's is 90. This lineup needs to score more runs period (which is what wRC+ calculates) - whether that's with more suicide squeezes or more home runs. IKF and McMahon are both good at defense. McMahon can't turn 2026 into a player option (didn't finish Top 5 in MVP voting in 2022 or 2023) and can only turn 2027 into a player option if he finishes top 5 in MVP voting next year...which won't happen, so he isn't opting out. Allocating $35M over 3 years to a defense first (only?) 3rd baseman isn't good use of resources IMO.
I thought you were just throwing out names of 3rd basemen who could be available...you weren't making suggestion on who you thought would be a good fit. Now you are, and are prepared to tout McMahon as a solid trade candidate? Best of luck with that.