Thanks! This is my first attempt at any sort of color correction, so I'm mainly wondering if what I did is at all similar to what others have done with this type of correction.
For the record, the settings used were:
Image Control:
Brightness -8
Contrast 120
Hue 0
Saturation 100
Gamma Correction:
8
Channel Mixer:
Red-Red 100
Red-Green 10
Red-Blue -2
Red Const 0
Green Red -7
Green-Green 100
Green-Blue 10
Green Const 0
Blue-red -20
Blue-Green 16
Blue-Blue 100
Blue Const 0