[floxy]

No idea, but it probably wouldn't be unusual to have 4% turn over / retirements every year, which could make up for the 5,000 discrepancy.