Yeah, I think he took him out almost entirely because of the matchup. There was a man on, Edro looked a little tired, and Brian Dozier was up. Dozier hit the home run earlier in the game and has been killing lefties to the tune of a 1.113 OPS this year. I suspect that if Edro had gotten the first guy, he'd have faced Dozier and that if the guy coming up had been anyone but Dozier, he'd have stayed in, but with a man on giving Dozier the chance to turn it from a tie game to a two run deficit, he made the change.