Neither school seems ideal at first glance. However, considering your child's interest in engineering, perhaps the second school may be better, especially considering their robotics team.

It depends on what the robotics team is about, what it specializes in, etc.

Pull-out gifted may not be enough especially with your son's high IQ, and often times these "pull-out" programs are simply holdovers that are not efficient uses of time.

I'd lean towards the second school, especially if the high performing classroom is one where many of the students are gifted.

However, these pullouts may not be enough. Any thought of some sort of acceleration or even grade skipping?