Oh, brilliant, many thanks.
The firmware number is probably hidden in the menu somewhere. Anyway, that's not the main issue. If I go out looking to buy this now, hopefully it will have the latest firmware installed (need to check the production year, I guess).
I'm still borderline between...