Both options have their merits, but considering your son's interests in engineering and need for peer interaction, Option 2 might be a better choice. The school’s robotics team could offer a great outlet for his interests, and a classroom dedicated to high-performing students may provide the challenge he needs. Despite the dingy facilities, a more robust PTA funding could mean better resources and extracurricular activities. However, you might want to visit both schools again and engage with other parents to get a better feel for the community and environment before making a decision.