Interesting. Remembering that Hamilton and Fairfield are also pretty big schools (for Ohio), I decided to look up exactly were Ohio's largest among the states 800+ high schools. Using the state athletic association figures, which admittedly only include grades 9-11, this is what I found. Curiously, seven of the top ten, which I note below with an asterisk, are located in southwest Ohio. All seven are in Cincinnati or Dayton exurbs, which I find interesting because Cincinnati is only the state's third-largest city (100K behind number two and almost 500K behind number one), and Dayton is only the sixth-largest city:
Mason -- 2,661*
Fairfield -- 2,369*
Lakota East -- 2,087*
Centerville -- 2,030*
Hamilton -- 1,397*
Beavercreek -- 1,893*
Canton McKinley -- 1,890
Lakota West -- 1,864*
Gahanna Lincoln -- 1,847
Brunswick -- 1,837