Armando Benítez (Marlins, P): 1.0 ip, 0 er, 1 k vs Nationals. Final: Nationals 3 @ Marlins 5. MLB, Jul 15, 2007. Full box score and game log on Real.