What's the problem with encoding in two or three different formats? How many gigabytes of videos are we talking about?<p>It's not like you have so sit an manually shuffle bits around. Just leave the encoder running, no need to bill your client for that time.