I hated how it turned out, but Martin was facing the 9-1-2 hitters. Once the first two got on, he was forced to pitch to Tauchman because of the awful 3 batter minimum rule. If Martin did get his hitters out, Jansen would have faced the 3-4-5 hitters in the ninth.
So, not really on Cora here…