I was watching some fights down in Tijuana, Mexico. And I just laughed out loud when I heard the announcer go something like "Armandoooooo 'El Tyson' Gonzaleeeeeeez" I forgot the name of the boxer but I remember "El Tyson" was his nickname. I just found it funny.