Derek Holland (Rangers, SP): 7.2 ip, 0 er, 4 k @ Mariners. Final: Rangers 3 @ Mariners 2. MLB, Jul 13, 2012. Full box score and game log on Real.