What is the smallest codec (avi, mov, rm, ETC.) To use. I have a space filled hard drive and need want to convert my movies into a different type to save space. Which is the smallest codec. I have multiple programs and know how to use them but what is best without reducing quality that much.