Marc Krauss (Astros, PH): 0/1, 0 rbi, 0 hr @ Rangers. Final: Astros 5 @ Rangers 10. MLB, Jul 5, 2013. Full box score and game log on Real.