So I have 1000 video files. I want to merge each one of them with a 10 second advertisement to create 1000 clips. The advertisement will be the same for all videos. The format will probably be avi or mpeg. Which video editor can do this with a batch command? Would suck to have to do this on a one-after-the-other basis.