Ya, el de las tetudas de después de la hidra xD
Pues no sé si están ya ripeados, lo que sí puedes hacer es ripearlos tú y ver si los puedes convertir a un formato más manejable en plan avi o mpg. Primero haz una iso completa con el isobuster o similares. Después usa un programa llamado apache 3 para extraer todos los ficehros de las dos capas de la iso del dvd (recuerda que es un dvd9, tiene que haber dos capas, la layer 0 y la layer 1). Ahí puedes seleccionar ya todos los vídeos, que tienen extensión PSS y PSW. No dejan de ser vídeos en formato MPEG2, así que reconvertirlos a lo que quieras no debería ser difícil.