How about advocating for a grade skip? Our oldest dd, who was already one of the youngest in her grade and whose IQ scores aren't nearly as high as your ds', has done really well with skipping a grade. It was a better fit for her socially and academically.

I'd still seek gifted services, though.