Did Hallicrafters ever use a red color for panel labeling control functions of this model receiver. I'm trying to decide, from a photo, if the panel has been owner painted and then labeled in red, or if this is original from the factory 73e joe k7mks