Good points, Steffke.
I have noticed that my males' eyes change color also. There seems to be no real pattern to the changes. Their overall coloration deepens at about this time of year, but eye color seems to drift randomly. My eyes darken when I'm angry...I think it has to do with blood flow, but who knows?
As long as they don't wash out permenantly, I wouldn't worry about it. Even if they do wash out, I'd just add some highly pigmented items to their diet, make sure they're getting enough "natural" light, and monitor their overall health...it sounds like you're doing these things anyway.
Some males have almost white eyes...especially old guys.
One tip on the veggie front...try red/orange/yellow bell peppers!
Check the label on your supplements. Some brands contain color enhancers (plant pigments, carotenoids), but many don't.
What kind of box turtle is this?
Thanks for posting...interesting topic.