So Tauchman pitched the ninth inning. Very quickly, in fact. With no wasted time between pitches.