Honestly, their rotation looks like a problem with what they *already* have, Gray+Castillo and then ?????? already needs a big addition if Bauer isn’t coming back. They need that shortstop solution in addition to everything they already have. Trading Gray to get it is just treading water at best.