Ähm, habe ich das richtig verstanden, die Filme sind 5-10 Minuten lang und jeder einzelne ist 800 MB groß? Das würde dafür sprechen, daß es sich um unkomprimierte Avis handelt. Wenn das so sein sollte, lassen die sich recht gut komprimieren, ohne daß es zu großen Qualitätseinbußen kommt (aber etwas Verlust ist immer).
M. E. geht die (erneute) Komprimierung von Avis am einfachsten mit VirtualDub (Freeware). Einfach die Avi-Datei öffnen, dann auf Video->Compression und dort einen Codec auswählen. Am einfachsten und eigentlich auch am besten ist DivX 5.0.5 (man könnte darüber diskutieren, welche Version die beste ist, aber ich denke, damit fährst du ganz gut). Sofern du den installiert hast, kannst du ihn in der Liste auswählen und dann auf "Configure" klicken. Die Qualität und Dateigröße wird die die Bitzahl bestimmt. Wenn man 90 Minuten auf 700 MB komprimieren will, nähme man zum Beispiel etwa 950 Kbps (für das genaue Verhältnis von Größe und Bitrate gibt es Berechnungsprogramme). DVDs haben mehrere tausend kbps, das ist für DivX aber maßlos überzogen. Ich denke, bei 1500 kbps oder so siehst du vermutlich kaum noch Unterschiede zwischen komprimiertem und unkomprimiertem Video. Einfach ausprobieren.
Nach dem Auswählen und Konfigurieren des Codecs dann einfach auf File->Save as Avi... und dann gehts los.