Exactly. There were 2 outs with nobody on base, early in the game. You don't waste a bench player in that situation. With a runner on second, yeah, then you would.
My point is what if the bench player gets a hit? We get two runs that inning at least. So that extra run in the 9th inning wouldn't be there anyway. A run is a run is a run. Makes no difference when it is scored.