Hmm, wenn das ne Lösung ist:

Du könntest die swf Datei in avi konvertieren --> Größe mit TMPGEnc anpassen und wieder zurückkonvertieren. Sollten eigentlich Programme existieren.