If you've got raw avi, your best bet is going to be using virtualdubmod (or virtualdub, matter of preference) to compress it into fourCC-compatible XviD. This allows for a quite nice compression to quality ratio. Btw, does the large avi file include sound? if so you should definately compress it...