Convert it to AVI or whatever then it can be played anywhere.
While I agree with you about Adding and Removing Codec packs, AVI is very Codec specific unless you run it Full Frames Uncompressed which for even short films can run to hundreds of megs and is impractical.
As a result when I'm producing videos these days I always use MPEGII as the output format. Most of my films are reduced by about a third in size.
The greatest Compression Vs Quality I've seen was MS Media 9 Codec. I converted all my movies to make them *very* small for an information box and it was in on an order of 10% of the avi file.