Aquí está la prueba, el vídeo usa el codec anterior y se identifica como Windows Media Video V9 bajo contenedor AVI. El GSpot así lo dice. Una vez instalado ese codec, se puede abrir este vídeo en virtualdubmod y editarlo o transformarlo, señal de que la cosa funciona
Además sí permite crear vídeos en dicho formato, la segunda imagen muestra cómo es la ventana de configuración del codec que he obtenido desde VirtualDubMod. He probado a recomprimir otro vídeo corto con este codec y ha funcionado.
http://ultrashare.net/hosting/fl/9f402f2112/