You don't need a gun to kill a gator. I mean, it would help but wouldn't a machete work just as well? If you are fighting for your life you will use anything.
The bus stop in Brazil is great for security reasons. I lived there for a while and the stories you hear from about public transportation are horrendous.