Colorado Springs is correct. District 11 was (and may still be) the largest district in the city. I can't recall the number of elementary schools, but there were 10 Jr Highs and approx 12 high schools. Redistricitng may have taken place since I graduated in '90.
Dozer might remember the numbers, we went to the same Jr. High, albeit a few years apart!!