I don't think they are listed in the booklet...
You can always do a power scan...
Press TV light until all topight flashes... Press the POWER button, then the up arrow key until the TV shut off (it my take many press before it does it basically goes 500,201,502,503, ect.. If your code is 900 it might be long) then record