Einige Quellen beziehen sich jedoch möglicherweise auf ihn mit der verkürzten Version „Rock“ , obwohl dies kein weit verbreiteter Spitzname war.
Es ist wichtig zu beachten, dass Spitznamen oft informell sind und je nach Kontext und den Personen, die sie verwenden, variieren. Auch wenn „Rock“ gelegentlich verwendet wurde, war es kein formeller oder allgemein anerkannter Spitzname.