Gotta say, I don’t really love either of these options.
It’s probably naive, but I would love to trade for a big bat. Yandy Diaz would be so good here, but if he isn’t available, I would go to the giants and flip something to them for Lamonte Wade jr. He also is signed just through 2025 for only about 4 million, and he gets on base a lot (when he is healthy)