Image showing mask over red portion of eye. Magnify image to 10:1 or so, and use the freehand tool to encircle all pixels in each eye that have a reddish tinge. Then switch to the mask-blur tool and blur by 1 pixel (small image, not too much blurring). Result is this preview. Next image shows the actual mask.