The AVI version of that video would be much larger than what you have now. The WMV is a more compressed, web-friendly version which is why it is commonly used. Video editors really only use AVI's as the raw footage for editing, and then will compress the final out put in a WMV format for Internet use.