Para comprimirlos y pasarlos a Avi yo utilizo el VirtualDubMod. La versión estándar del VirtualDub no reconoce el formato Mpeg con el que graba el ProgDvb. Pero si solamente quieres ver los videos sin comprimirlos ni pasarlos a otro formato, utiliza el VideoLan. Es uno de los reproductores que más formatos reproduce y además con buena calidad.