Sommige bronnen kunnen echter naar hem verwijzen met de verkorte versie "Rock" , hoewel dit geen wijdverbreide bijnaam was.
Het is belangrijk op te merken dat bijnamen vaak informeel zijn en variëren afhankelijk van de context en de mensen die ze gebruiken. Dus hoewel "Rock" misschien af en toe werd gebruikt, was het geen formele of algemeen erkende bijnaam.