Damn! I was born and raised in Colordo Springs. I left there in'94, and had no idea that it had grown so much since I left.
I believe El Paso County is over 400,000.