That's weird then, I haven't seen it happen to avi files. Also being the correct size for a decent file. Personally if I had an alternative choice then I'd choose the other. But it would be curious to find out about the file in question even if you only downld like 1or 2% for preview purposes. I suppose there's always the chance of a hidden extension.