If we're spitballing, then I think we go to the Red Sox.
We trade Gore to the Red Sox. The Red Sox send Wiylmer Abreu to the Reds. The Reds send us Rhett Lowder and Zach Maxwell (or other small prospect). The Red Sox send us Tristan Casas, Anthony Eyanson, and another prospect.
Reds get the hitting they need. Red Sox get another top of the rotation pitcher. We get a 1B through 2028, as well as a starting pitching prospect that is MLB ready through 2030, has a ton of experience with analytics, AND has a relationship with our new pitching coach. Maxwell is probably big league ready for the pen, and we the kind of pitching prospect that Toboni loves because they will be able to fix average fastball and still retain command (like they did with Early).