Maybe, that's going to happen sometimes especially in the playoffs when you run through arms like it's nobody's business. This was basically managed like a playoff game.
I think the main point is, you can never have enough great arms. Never heard a manager ever complain about having too many great pitchers.
He didn't really want to try to pitch Richards there, he just had to.