I then use an open-source program called VirtualDub to re-encode the videos using a codec that my video editor actually understands. The codec also strips a few MB off the file size, but I leave most of the file size reduction for the video editor to handle. I wasn't able to find a very good, free, lossless codec that didn't swell my file sizes four-fold...