It wasn’t in the manual? Surely!!! <>
I tried reading the OS version in the splash screen as described. Too quick! Couldn’t read it. Powered it down and tried again - nope. I’m too old obviously.
Think I’ll just download the OS and install it anyway, see what happens.