Armando Benítez (Marlins, P): 1.0 ip, 0 er, 2 k vs Astros. Final: Astros 5 @ Marlins 6. MLB, Aug 4, 2007. Full box score and game log on Real.