In realtà la mia domanda era:

basta inserire il video con fondo verde in flash per far si che sia bucato oppure devo elaborarlo prima con premiere/after effect?

E visto ke i video li utilizzerò per un sito in flash, quale sarà l'estensione del file ultimo che andrò a creare per i video?