I didn't know the pitch count was so low, 87? Pitching the way he was, he could have completed the game. Pedro has a history of getting absolutely rocked in the later innings so who knows, maybe taking him out was beneficial, its all conjecture from this point.