remote control freesat

OK, I'm weird and obsessive, but I've just bought an HDR1000S (pre-loved) with a remote whose buttons don't match the one in the manual. According to that, the top three buttons are <STB>, <TV>, and <Power>. Mine are <Mute>, <TV/AV> and <Power>. I've had a look through the five Freesat manuals...