Red was actually the color of some institutional (nearly broadcast more community television) video cameras of the early 80's. So, that's probably to gave it a pricier look.
Yes, some of JVC's professional camera like the KY-1900 and KY-210 were red, as well as the Ikegami ITC-730. Although I'm not sure of any other companies using red. The RCA TK-76 was blue, and Ikegami cameras were usually dark grey except for the ITC-350 which was also blue.