i actually have masters cs4 so i do have an AE as well as an encoder.  i dont think premier was a part of the package. but if i am guessing you right....

does not matter whether it is avi, divx or otherwise as long as it is the same machine that plays it back.  which it will because it will be the same laptop. and that if i want the best quality when i choose to compress it, t should be at 16mb a min or no lower than about 14 i am guessing?