Ah, I meant, which codec does your video use? I don't think that there are any that will work right now, but I'm curious to know what format your videos are in, as I'm not aware of any formats that support alpha channels which are "nice" to use (e.g. most codecs I've seen with alpha channels produce very large files).