Gah! Eye damage is a tremendous fear of mine! Sorry for your friend and I hope that he heals well.
My parents had a friend, when I was younger, that did this exact same thing. It's been a few years but he is still a better marksman than us so I feel like he healed just fine. Hopefully the same...