Yeah I think the only way Reds get Bauer back is if he decides to accept the QO or takes a discount because he likes being a Red (highly unlikely given the defensive play behind him). Assuming the rich teams are spending like normal for 2021, he'll be one of the most sought after starting pitchers.