Up 7-2 on the Reds through five and going for the sweep. A win moves them to 29-15 with a 7 game lead on Detroit (currently up 2-0 on Pittsburgh) and a possible 14.5 game lead on Minnesota.
No point in taking him out; it would disrupt the rotation and the bullpen. Besides, you'd like to believe that after a performance like that, a pitcher would know that it's one horrible game and not the end of his career.