I actually miss-read your response, I thought you meant on the back to the left (which, when looking form the back, is where the serial number is on my Eclipse that is racked under the H8000).
So, I popped out the H8000 from the rack (urgh) and there is indeed a serial number there.
For anyone else reading this in the future the Firewire serial listed via the service menu is already in decimal, but I think the one listed via the routing app is base 16 (I can't be sure yet because I need to register to get the software….)
Now there is a problem registering: A system error occurred while registering your product. Please contact Eventide support.
So I shall await a response from support.
Thanks for your help.