Then just use a video editor to compress it. Like VirtualDub. It would probably take just as long either way. (Is there a difference in render speed either way?)