bueno un poco mas he mirado el edision progresivo tiene el mismo tamaño de firmware aqui os dejo el fichero txt con los datos:

Identifiant du Block : 23010010
Offset : 0
Taille : 131072
Nom : HSJ1
Version : 37015-01005
Date : 20111116-145915


Identifiant du Block : 01FE0101
Offset : 131072
Taille : 3932160
Nom : maincode
Version : V1.13B5*
Date : 20111123-155809


Identifiant du Block : 06F90101
Offset : 4063232
Taille : 1441792
Nom : seecode
Version : V1.13B5
Date : 20111123-155808


Identifiant du Block : 02FD0100
Offset : 5505024
Taille : 131072
Nom : radioback
Version : 1.0.0
Date : 20110509-104211


Identifiant du Block : 02FD0200
Offset : 5636096
Taille : 130944
Nom : progressivHD
Version : 1.0.0
Date : 20110705-173322


Identifiant du Block : 08F70100
Offset : 5767040
Taille : 65664
Nom : seeback
Version : 1.0.0
Date : 20111123-155034


Identifiant du Block : 08F70101
Offset : 5832704
Taille : 65536
Nom : data1
Version : 1.0.0
Date : 20111123-155034


Identifiant du Block : 08F70102
Offset : 5898240
Taille : 917504
Nom : data2
Version : 1.0.0
Date : 20110513-105513


Identifiant du Block : 03FC0100
Offset : 6815744
Taille : 393088
Nom : defaultdb
Version : 1.0.0
Date : 20110922-194319


Identifiant du Block : 04FB0100
Offset : 7208832
Taille : 1179776
Nom : userdb
Version : 1.0.0
Date : 20111123-155811


tambien he provado este editor decas con el fichero del bravisimo si lo provais bajo vuestra reposabilidad cambiar la extension a .key para observarlo, creo que si puede valer cuando lo tenga hecho os lo comentare:

Megasat HD700 HD800 CAS Edit 1.1.0a.exe (si esto no se puede poner, lo borra rapido)

bueno el del megasat tambien es del mismo tamaño aun no lo he revisado suerte con las posibles herramientas