I recently installed a new DirecTV box that came with the RC71 remote. I am unable to use it with my Harman Kardon AVR-235. Anybody know of any codes other than the ones on the DirecTV site? Also, I was unable to get the remote to recognize my nee Samsung F4500 TV until I found a code from some random tech site. This tells me that the codes stored on the receiver and DTV site are out of date.