Hmm, that's interesting. Unless I have an old manual. I just checked the manual online, and you are right. I will try these codes tonight as well, though I doubt if it will work since I even tried to do the scan, going through all options, and reached at the end of the codes available with the remote. It may be that I have an older version of the remote? It is a silver remote.
I wonder if other Sony devices have the same problem as Sony audio receivers, where they come from the factory set for "AV2", when all universal remotes send in "AV1"? I had to change the receiver to AV1, in order to work with my universal remote.