Agreed. I'd argue that if the Reds wanted to be relevant next year, Gray is much more important than upgrading SS.
Bottom feed for a veteran SS and keep Gray. If we assume Bauer is gone, they are already a dark horse for the playoffs next year (unless it is expanded again, then maybe they sneak in and get trounced in the first round again)