Hi Phoenix Jackson,
Yep - we've all been there and will be again
Other options to consider:
1) Make adjustment in only the red channel. In photoshop you can work on the R, G or B channel separately.
2) I forget the name of the software (got it at home in a photo-magazine) where you can to targeted color shifts...think of it as an easy-to-use interface to what I have suggested above.
3) While red light is SUPPOSED to show up as red in a picture...lol...I find that a custom white balance adjustment - i.e. a WB reference shot - yields a better result.