Well, I said I'd play with it. Here's the results of some of my first attempts. I shot jpeg+raw so I could compare - seems like in good light there isn't much rescuing to do. Straight out of camera on the left, my attempts to work with raw on the right.
Attachment 7511--Attachment 7512
This showed a bigger difference.
Attachment 7513--Attachment 7514
Kinda like it cropped a bit more, too.
Attachment 7515