Jimmy Herget (Rockies, P): 0.1 ip, 0 er, 1 k @ Reds. Final: Rockies 3 @ Reds 4. MLB, Jul 12, 2025. Full box score and game log on Real.