I’m using an Archos av420 to record things from my sky digibox, but the audio codec is dvi adpcm 0x0011(Intel corporation. It will play with sound on my pc but not on my dvd player (phillips dvp762) which plays all of my normal video files. Is there any way to change the codec to something more popular so that I can get it to play on my dvd player?