Based on the community feedback, the skin tone does not clearly look too red. On a calibrated display it appears within a normal range, and some viewers even saw it as slightly blue/purple rather than overly red.

The first step is to evaluate the image on a calibrated monitor, because uncalibrated screens can make color judgments unreliable.

If correction is needed, use your editor’s white balance, color balance, or RGB/Curves controls:

• Try white balance or auto color first for a quick overall fix.
• For manual correction, adjust the red channel slightly with Curves or use color balance to reduce the cast.
• If you have several photos from the same light, batch correction can save time.

One limitation here is that this is a JPEG and parts of the face may be clipped/blown out, so there may not be enough image data for perfect correction in the brightest areas. Color changes in those highlights can look unnatural.

So: it probably isn’t obviously too red, and if you want to judge or fix it accurately, start with a calibrated display and then use white balance or subtle channel/color-balance adjustments.