Does anyone have any idea what the head count is there?
The consensus I get is north of 5,000 are still there...