Puedes reproducirlo en el windows media player o en el real player? y en el virtualdub o spanishdub? lo digo porque si asi es siempre puedes usar el camtasia studio cuyo manual tienes mas arriba para capturar la pantalla mientras lo reproduces y asi obtener un avi sano que podras codificar sin problemas. Saludos...