Probaré con el HJsplitter que dices, porque lo que está claro es que no son archivos que se puedan descomprimir. A lo mejor es eso que dices. Luego paso y comento.
Gracias
Edito: Por cierto, se me había pasado por alto el mensaje anterior. Comprobado, el archivo es .dvd, no se me ha quedado ningún .txt por ahí. Aunque podría haber sido. Gracias de todas formas.