If his trajectory is STEM, then finding a mentor in a local college who will take him on is something to consider. He can then get his undergrad out of the way and then go to any grad school he wants. A published paper or two at the age of 16 or 18 goes a lot further than another 4 years of HS.