If he hadn't run, it would've been a different song...;) El Paso Dooley, maybe? And if the outcome was the same, the song might have been much shorter.