Have you had a chance to look into any of the e-gifted courses? That seems like it might be a good thing given his age.
Also-- you definitely know your child, but one thing that we have found helpful as DD has aged into middle school and beyond is to give her summers as a "breather" from the academic workload. It's not that it's "hard" so much as that the VOLUME increases stepwise at 3rd, 5th, 7th, and 9th grades.
So we don't really do the 'academic' thing during her summers. We used to homeschool year-round, and just kind of take those mental health vacations as needed, but following a school calendar doesn't allow for that. This makes it all the more important for a kid who needs a break to recharge to REALLY get a break from that environment during the summer.
She does plenty of OTHER stuff during the summer, but conventional workbooks, report-writing, and assignments-- no.
We're also fans of the 4 consecutive half-day camp on a particular topic. Intense, but over with in a hurry. KWIM?