Now that we know Jacob deGrom won't pitch for the Rangers for the rest of the 2023 season, how can the club address that gap in their rotation? Should they roll with what's working now, or is a trade for an established starter a better move?
With deGrom out, what are the Rangers' rotation options?
