Astros give up on 25-year-old pitcher - Reds can take him back

Cincinnati could have the advantage in this scenario.