Military Version of Hallicrafters SX-25 Receiver?

[Sparks]

Does anyone know if any service used a shortwave receiver manufactured by the Hallicrafters Company of Chicago? I am specifically interested in a military version of their SX-25 receiver. It is a 4 band receiver covering from 540 KC to 40 MC. Hallicrafters produced two versions of this receiver but my inquiry is to find the military version. Apparently there were variants in which circuit changes were made in the local oscillator so it could not be detected by enemies. I am attaching a photo of the commercial version SX-25 and perhaps someone will recognize it as a military receiver and be able to provide its model nomenclature. Thank you.