I think/hope that the upcoming Harper/Machado free agency has been talked about for so long that Theo has a very good idea of how much it'll take to get either, their interest in going to that level, and their ability to sign one of them if they are willing to go that far (no team is signing both of them). If he's ran those numbers and decided Machado is the better target for the offseason (and that we'd have a good shot of retaining/signing him), then by all means go for it now, as I think a package led by Addy or Baez would be the best they're going to get, and one of them would have to go anyways. If not, as others have said, it doesn't move the needle enough for a rental. This is a tangent, but I'm still not sold on Baez>Russell going forward. I think there's some dissonance between Javy Baez, human highlight reel, and Javy Baez, effective baseball player, especially on the defensive side of the ball.