Just ordered the AV-2500 I do not see codes listed for Hughes DireTV DVR TIVO? Anyone know this code?

Also have Samsung DirecTV HDTV Receiver. There is no code listed for that either.

Any help would be greatly appreciated.

THANKS!