Thanks for the responses.
As mentioned, there are no signs of mites and he had a good shed last week. Came off in one piece, including the eyecaps.
Also no signs of an RI. Was holding him today when I noticed the eye dent and could hear no unusual noises (popping, wheezing).
He seems happy enough and ate 2 days ago with no problems.