John King (Rangers, P): 1.2 ip, 1 er, 3 k vs Astros. Final: Astros 4 @ Rangers 5. MLB, Sep 25, 2020. Full box score and game log on Real.