Hola
En el nombre del archivo deberia decir algo como esto:
K850_R1FA035_MAIN_GENERIC_SO_RED52.mbn >>>ese es el R1FA035

K850_R1FA037_MAIN_HUTCHISON_SO_RED52.mbn>>>ese es el R1FA037

Despues no conozco otra forma :S, aparte de flashear el cel y ver en el menu de servicio.