“The mission of El Paso County Community College District is to provide educational opportunities and support services that prepare individuals to improve their personal quality of life and to contribute to their economically and culturally diverse community.”