Nope, the eyes were not cut from anywhere else.
The only bit I cut from another picture was the hair. I tried to repair the hair in the original but it came out too blocky and didn't look natural.
Any time I try one of these repairs, I resize the picture by at least 400% to get as big an image as my poor old computer can handle. This lets me zoom in, and I can then see the individual spots easier. It just took some careful cloning, but the info was all there in the original picture, if a little obscured by blobs.
Its always a good idea anyway to enlarge the picture beforehand. It gives you a lot finer control over the tools available.