En el censo de 2000, habían 9,449 personas, 3,784 hogares y 2,550 familias residiendo en el condado.