Wasn't it Rush who gave him the name "Ronaldus Magnus"?
'Wasn't it Rush who gave him the name "Ronaldus Magnus"?' I think so, yes.