Pitchers are babied with a reason. They're no longer making pennies, they're multi-million dollar investments who teams need to keep healthy.
And in this situation i try Bard to close it out with Oki (even though he's sucking, he's still getting lefties out at a decent clip) backing him up.
Now you have what's probably an unnecesary baserunner and a HR doesn't cut the lead, it ties the game.