Según el censo de 2000, había 9.139 personas, 3.617 cabezas de familia, y 2.680 familias residiendo en el condado.