Derrick Robinson (Reds, PH): 0/1, 0 rbi, 0 hr vs Mariners. Final: Mariners 3 @ Reds 1. MLB, Jul 7, 2013. Full box score and game log on Real.