John King (Rangers, P): 1.1 ip, 1 er, 1 k vs Rockies. Final: Rockies 5 @ Rangers 11. MLB, May 20, 2023. Full box score and game log on Real.