Yeah that way he could go the distance and yield 9 runs. That's about as bad as thinking that it's better to have a 12 pitch at bat resulting in an out over a 1 pitch double.
Well, if the next hitters after the guy who hit the double are Alex Cintron, Pete Orr, and the pitcher, I think I'd go with the out.