Thanks for the responses.
To clarify, we took DS to a general optometrist about six months ago, as just a routine eye exam -- he wasn't complaining of headaches at that time. The amount of time he has spent reading for pleasure has diminished quite a bit over the past few months. Initially, I thought it was because he was spending more time on homework/extracurricular activities, but over winter break, I noticed he spent a lot less time reading than he used to, and he told me that it makes his head hurt to read for more than 10 minutes. Then, over this past weekend, we were on a brief vacation where he had lots of opportunity to read and he had expressed the desire to finish HP4, but he didn't crack the book open once, and said it was because reading makes his head hurt.
So, now I find myself on a fact-finding mission. I plan to talk with DS to see whether other books he reads with larger print bother him, and whether reading always hurt his head, or if this is something different....
Thanks for the replies. I'll probably make a call to the optometrist tomorrow. Can't hurt.