Waco is a city in and the county seat of McLennan County, Texas. The city has a 2009 estimated total population of 126,217. The Waco Metropolitan Statistical Area consists of McLennan County and has a 2007 estimated population of 224,668.Waco Independent School District serves most of the city of Waco. However, Midway ISD, Connally ISD, China Spring ISD, La Vega ISD and Bosqueville ISD also serve parts of Waco. There are four main high schools in Waco city limits: Waco High School (Waco ISD), A.J. Moore Academy (Waco ISD), University High School (Waco ISD), and Midway High School.