AVI ist nur ein Containerformat.
Wenn ich mich recht erinnere kann die K-5 HD Video mit 1920x1080 in MPEG-4(AVC) und speichert als MP4
VirtualDub kann MP4 in AVI umwandeln.
Es gibt diverse Gratis Software für den Videoschnitt, es kommt immer darauf an was man denn machen will.
Die Installer solcher Software müllen meist den Rechner mit unerwünschten Softwarezugaben zu. Der Funktionsumfang ist oft nur rudimentär, verbunden mit regelmässigen Popups man solle doch auf die Pro Version upgraden.
Videos schneiden und bearbeiten ist eine ganz andere Hausnummer als Fotos zu bearbeiten.