hey, does anyone know whether there is a way to change the file format of a video (eg avi to mpeg)?? and if so is there any software that could do this?