Sounds like he got a direct shot of pepper spray which sucks and can have residual effects for days but it ain't causing permanent eye damage. Some handle pain different from others.
If he had asspats, I mean eyewash, especially given that he had friends right there next to him, he should eventually be fine. For his starting value of "fine."