Ivan Price question (867415)

[margaret thatcher]

Is he actually registered with the bbbc as Ivan 'Hopey' Price?

Just curious, cause there are thousands and thousands of guys with aliases and nicknames out there, but Price is the only one I notice off the top of my head who actually has a ' ____' in his main boxrec name

https://boxrec.com/en/proboxer/867415

[John]