Thank you.
Gave it a test but no joy. I seem to be experiencing the same issue as described here:
It seems that key is perhaps picked up by the OS as that overlay/no entry symbol is not part of Kodi.
I’m going to order a new remote anyway, as I think it will be better with the new dedicated volume keys. Will the new remote need a new hwdb file?