Nimm dir eine Videobearbeitungssoftware und schneide die 9GB datei auf kleinere (<4GB) Videos. VirtualDub ist z.B. kostenlos.

...zur Antwort