Totally agree, let him go into his next start confident. Send him out tired for the 4th time through the order, he gives up a couple, totally kill the mojo of his outing. It doesn't have to be like that. You could send him out for the 9th and pull him if a single baserunner is allowed before two outs are recorded. That's how I'd do it rather than living and dying by #100 pitches.