[ahmngrn30]

I'm following this game on cbssportsline so I might have missed something but did the Pirates not pinch hit for Grabow (the pitcher) with 2 outs in the 7th down by 5 with 2 on, and then replace on the mound before the start of the next half inning?