Anyone heard that Mexican Rocky song?

[dan_cov]

I was doing shopping and a song was playing some corny sort of pop song I assume was about Andy Ruiz. Anyone heard of know the name of it?

No idea of the lyrics some like do, do-doo The Mexican Rocky, do, do, do The Mexican Rocky...