Marc Krauss (Astros, PH): 0/1, 0 rbi, 0 hr @ Rangers. Final: Astros 3 @ Rangers 7. MLB, Sep 25, 2013. Full box score and game log on Real.