I have just downloaded a file (via Transmission) which is .avi, as it should. However, none of the players I have (RealPlayer, VLC, DjoPlayer, DivX, or Quicktime) will play it. Am I missing something -- is there a kind of player I don't have yet? Or is it just a corrupt file? Is there a way to find out? I know very little about the encoding of things, so I would love some specifics. The file is 1.47 GB though, so there is definitely something there. Thanks in advance!