What is realistic to get Rodriguez and Lorenzen from DET?

[*ochocincos*]

It sounds like the Tigers are listening to offers for trading away both Michael Lorenzen and Eduardo Rodriguez.
Lorenzen is on a one-year deal, so he hits FA after this season. The deal was only $8.5 mill, which is pretty cheap for a solid SP.
Rodriguez still has 3 years after this season, but he has a player opt-out after this season. If he stays with DET, he's likely opting out so he can play for a winner. If he were to stay on his current contract, he is set to make between $16 mill and $18 mill each season these remaining seasons.

Now let's look at stats:
Rodriguez - 2.95 ERA this year. Career 4.05 ERA. Never a season above 4.74. 30 years old.
Lorenzen - 3.58 ERA this year. Only his 2nd season as a full-time SP. Has pitched well as a SP. 31 years old.

Lorenzen also has the experience pitching in Cincy, plus we know he can pitch out of the bullpen too if the Reds needed to ever have him move to a reliever role if the postseason actually happens and the Reds have their 3 playoff SPs already set with other guys.

Now I know basically nothing about the value of prospects when it comes to trades, but I was thinking Reds might be able to get both Rodriguez and Lorenzen for Jonathan India (still 3 seasons with arb) and 1-2 prospects that are in the 10-20 range on the Reds' Top Prospects list.
Specifically, I was looking at SP Levi Stoudt (AAA/MLB this season) and SS Victor Acosta (Single A this season).
Stoudt is someone who could replace one of those guys for back-end rotation for Tigers this season and may come on in the coming couple years, but he's not there currently.
With Acosta, there's optimism he could be MLB-ready in 2025 or 2026, which could be a good young guy to groom to eventually take over as future SS. Tigers have an aging Javier Baez right now who has an opt-out after this season.

Part of me thinks India, Stoudt, and Acosta isn't enough for Rodriguez and Lorenzen, but knowing that those guys might just be rentals and the fact I don't have enough familiarity with baseball trade value, is that a fair trade?
If that's not enough, what other guy(s) would be worth adding to the pot to get the Tigers to agree to such a deal?