Sounds like you’d rather lose in the 9th…. Who should Dusty be throwing in a tie game? Martinez? Montero? Every manager on earth, in a home game, manages it just like that… you throw your best to keep it a tie game.
It was 5, 6, 7. Montero has pitched well recently. I have seen this exact scenario play out multiple times this season. Let’s hope it doesn’t matter.