Pullman räknar ungefär 10,000 invånare,