When was he 9?
I think I'd really push for a full grade skip ASAP. Our schools cut off is sometime in September, so a kid who is 9 would generally be in 4th grade already. After he adjusted to that, I'd look at subject acceleration in his favorite subjects.