Has anyone ever somehow installed additional video/audio codecs onto receivers that play Divx?  I bought a Dish TV S7010PVR , which plays AVI files from the USB port.  Its pretty cool, but you get the occasional AVI file that has a different audio codec, which results in the video playing, but no audio.

Just wondering if anyone knows how to put on new codecs to allow better playback.