I want to upload a movie i've just finished editing onto a website for other people to download. But it's nearly 1.7 gigs as an AVI. I've tried exporting it as a different file type but I cant export it as a WMV or anything..for options from the drop down menu in the export setting dialog box are AVI, TIFF, TARGA, GIF, Filmstrip etc. But no WMV..do I need to get a program to convert my AVI file ..or can I just export it differently?