I used the red eye reduction tool in Paint Shop Pro X Then used freehand masks to selectively reduce the gamma for each eye to darken them and bring up the blue.
It doesn't begin to do those wonderful eyes justice though. The best thing with red eye is to avoid it in the first place.