Earlier on I got a documentary but its in Googles GVI format, does anyone know how I change this over to AVI, DivX ? so I could burn it for tv viewing.