If you get really stuck and cannot find one, try the One For All brands of remotes. They have codes for almost anything. The URC-6131 was only $17 at Best Buy recently.
I haven't tried the "all for one" one.. I tried using my onkyo, zenith, and cable box code programmable remotes without luck..
I mean I can use channel up/dn, volume up/dn and power with those.. Actually with one I was able to bring up the menu.. but cannot push "enter" which is what I need to re-program the TV's channels and such..