Pavement ant colonies may have over 10,000 workers!