Wilmington is a city in and the county seat of Clinton County, Ohio, United States. The population was 11,922 at the 2000 census, though recent population estimates from the Census Bureau place the number at 12,499. United States Census Bureau. Accessed 4-18-09 (...) (from Wikipedia)