Dreamboxen spottar ur sig .ts filer när den spelar in, men om man redan har tex avi filer vad använder man lämpligast för program för o gör om dem till ts filer?