I appreciate the compliments. I would say my edit is maybe 75% of how good it could be. I just wanted to give it a quick try (45min). The skin tone of the face is still off a bit, I think. But the splotches are fixed and the color scheme is more appealing.
I find that getting colors right usually requires experimenting with all of the color controls in concert, bouncing back and forth between them. It can be helpful to think of color editing as a zero-sum game of "color ping pong". To remove the red, I definitely made sure to compensate with other colors (so that it doesn't flatten out). I was able to remove the red splotchiness in the HSL controls by reducing the red saturation, upping the orange saturation, and increasing the luminance on the red (because part of the problem was that the red was dark). I also dropped the overall saturation.
The bottom line is that color is crazy complicated and it's all about experimentation and keeping your eyes fresh while you work.
I tried to attach my Lightroom settings for this shot, but the forum won't allow me to attach ".dng" files (and for good reason). But anyone is welcome to send me a private message and I will send you the settings I used here.