Derek Holland (Rangers, SP): 6.0 ip, 2 er, 10 k vs Mariners. Final: Mariners 4 @ Rangers 2. MLB, Jul 3, 2013. Full box score and game log on Real.