We are hoping to migrate from Final Cut to Premiere Pro CS5 (Mac) to produce video for a big screen in our gym (among other things), because of the seamless interaction between After Effects, Premiere and Encore. However, the program for the big screen needs the file to be an .AVI and won't accept any other format. I can't seem to find how to export the video as an .AVI on Premiere ProCS5. Is there a way to do this?
No, not directly. What codec do you need in the AVI? AVI is just a container, and can hold many different types of codecs, so you need to know what codec you specifically need for your use.