Minor correction: the pitcher's spot was to lead off the Twins' sixth, so in a 1-0 game there might have been a pinch-hitter regardless, since it looked like our starter had run out of gas. Despite the one-hitter, that's what I'd have done, after an unsightly fifth that he had every likelihood (at that crucial moment) of staggering through unscored-upon. If Odo doesn't walk the pitcher but instead records that third out, he's done, but has his Quality Start, and the manager can proceed with his game plan. (Which probably included Perez coming in next, so maybe a loss was in the cards anyway.) No manager's game plan includes "what if my guy walks the pitcher when the chips are down."