He's 11yo.
It's like he's wearing very bright red, slightly flaky eyeliner, just a line around the very rim of his eyes, top and bottom lids.
He says it's sore and a bit itchy but I don't think it's too bad, he can get on with things once he's distracted.
The eyeballs themselves are fine, no redness and no crustiness like conjunctivitis.