Every now and then I download an .AVI file that uses the Windows Media Audio codec and I don't get any sound. Any idea how I can fix this? Windows Media player tries to download the proper codec, but ...