Does anyone know of a decent free video format converter? I need to convert from avi. Something that could run on my 4890s would be cool since I'm sure it would be much faster. I have had no luck finding anything at all; any help would be much appreciated