Thanks, Bostonian! Knowing our district, they are likely to resist letting him take the AP exam with the course, but knowing it is commonplace will be extremely helpful in advocating for that.

Also, thanks for the link - I tried but failed to find that on my own. But unfortunately, pretty much everything listed there is online and introductory level. I think what we're looking for now is a summer camp for kids who are already competent programmers.