130K = a good scholarship at “meet need” colleges, so run the NPC (look up “collegesolution blog meet need colleges”). Boys have an advantage at LACs, especially since he’ll be also considered Hispanic, so look into Bowdoin, Bates, Grinnell, Pomona, HarveyMudd, Davidson, Vassar… Then, add national universities and run the NPC. Note that costs are likely to be higher than what you’d pay in Europe and higher than what you expect. Be very clear as to what you can afford.
All of that is assuming he does as expected on his test scores so register him for the June SAT and ACT, the August SAT, the September ACT.
Once he has his test scores, add automatic and competitive scholarships at public universities.
Note that Florida, Virginia,(the states) and UNebraska (the university) are especially generous with IB credit.
Scottish universities are different from the English universities. Students take 50% courses in their subject + 50% in electives during their first year. It’s easy to switch from one “major” to the other. They use UCAS and you have 5 choices. UEdinburgh is among the best universities for AI in the world. Aberdeen, St Andrews, Glasgow are all part of the “Ancient ones”, the great “old” universities in Scotland. Add Herriot Watts and/or Edinburgh Napier (STEM universities in Edinburgh) and you’ve got excellent choices, tuition-free.