However, some sources might refer to him with the shortened version "Rock", although this wasn't a widespread nickname.
It's important to note that nicknames are often informal and vary depending on the context and the people using them. So while "Rock" might have been used occasionally, it was not a formal or widely recognized nickname.