.avi / divx IST das experimentelle mpeg 4.
.avi kann zwar auch unkomprimiert sein, aber ich denke nicht, dass du das meinst.
Wenn du Trailer runterlädst such mal auf der Seite wo du die auch her hast nach nem Codec (der Player ist ziemlich egal, das Codec ist das Wichtige).