Me respondo yo solo.
El fichero no es un "zip" sino un "rar", basta guradarlo con otro nombre con extension .rar y abrirlo con la aplicacion adecuada (i.e. winrar).
Es un vectra 3.80 correcto para lo que esta visible estos dias, pero a mi no me abre nada de TePeSes como sus hermanos lo hacian hace unos dias ...
Aunque ha sido producido o modificado hoy, no parece que tenga las buenas AES validas en este momento.