masha: If they can be further compressed with lossless zip compression, then the videos weren't compressed that efficiently in the first place. :/ Usually, there won't be a significant reduction in file size.