Mach doch einfach ganz normal über die Source-interne Funktion dein Demo-File und lass es dann als avi exportieren. Codec ist ja erstmal egal, da man es ja hinterher immer noch mit anderen Progs konvertieren kann. Wenns mit VirtualDub nicht klappt, nimm halt was anders (aber ich denke da gibts bestimmt ne Funktion, um die Geschwindigkeit zu ändern). Der Windows Movie Maker tuts übrigens auch, man will es nicht meinen.
Gibt übrigens auch viele freie Codecs und Konverter-programme, die free und gut sind. Kann nur grad leider nix empfehlen, aber Google sollte dir da weiterhelfen können.