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.
Suhail