It is a Russell Hobbs RHM2017, about 4 years old, I think.
I tried turning it off again and left it 70 minutes, but no change. What else can I try?
Rated as Good service. Website layout not brilliant, but you can't help that! :-)
Now buying new microwave of a different make!