Girardi would've considered pinch-running, I'm sure. Leadoff guy gets on, might want to play for another run and avoid him running the bases.
yeah, a muscle pull/strain, then. He'll probably be back for Game 5. No runs in this one since the top of the 5th.