Hot or Not?

i shot this fashion show in JPEG as usual
and it's the first time i have experienced harsh highlights with a overbearing reddish cast, colour balance set to 3000 Kelvin, no flash the spot was halogen
close to original tone, shooting at 1/400, dark image but the highlights are so bright they are blown, guess theres no way to have compensated
these ones i fixed i de-saturated the red channel abit, lightened it up, but now there are pink tones, is it possible to fix this?
this one is less desaturated and slightly darker
so are they hot or not?
talking about the highlights, not the girls
and it's the first time i have experienced harsh highlights with a overbearing reddish cast, colour balance set to 3000 Kelvin, no flash the spot was halogen
close to original tone, shooting at 1/400, dark image but the highlights are so bright they are blown, guess theres no way to have compensated

these ones i fixed i de-saturated the red channel abit, lightened it up, but now there are pink tones, is it possible to fix this?

this one is less desaturated and slightly darker

so are they hot or not?
talking about the highlights, not the girls