Sin embargo, algunas fuentes pueden referirse a él con la versión abreviada "Rock". , aunque este no era un apodo muy extendido.
Es importante tener en cuenta que los apodos suelen ser informales y varían según el contexto y las personas que los utilizan. Entonces, si bien "Rock" podría haberse usado ocasionalmente, no era un apodo formal o ampliamente reconocido.