As of the latest census of 2000, there were 9,128 people, 4,373 households, and 2,361 families residing in the city. The population density was 3,442/sq mi (1,330/km²). There were 4,671 housing units at an average density of 1,762/sq mi (681/km²). The racial makeup of the city was 93.80% White, 0.36% African American, 0.34% Native American, 1.70% Asian, 0.05% Pacific Islander, 1.61% from other races, and 2.14% from two or more races. 6.85% of the population were Hispanic.
There are 4,373 households of which 21.1% have children under the age of 18 living with them, 42.5% were married couples living together, 8.5% had a female householder with no husband present, and 46.0% were non-families. 39.2% of households consist of individuals and 21.5% have someone living alone who is 65 or older. The average household size was 2.07 and the average family size was 2.77. The age distribution is as follows: 18.6% under the age of 18, 4.8% from 18 to 24, 23.5% from 25 to 44, 28.9% from 45 to 64, and 24.2% who have achieved age 65. The median age is 47 years. For every 100 females there were 81.5 males. For every 100 females age 18 and over, there were 77.0 males.
The median income for a household in the city was $50,505, and the median income for a family was $65,600. Males had a median income of $51,831 versus $40,276 for females. The per capita income for the city was $32,387. 3.7% of the population and 2.0% of families were below the poverty line. 3.3% of those under 18 and 4.7% of those are 65 and older.