Above we are counting them. This about ~10000 people total, most of them abroad. We are not counting military since these are civil servants, but neither are we counting military today.
As an essential part of the colony, you can't really count them out. That's similar to how in feudal structures, and military regimes, I'd count the military and civil service as one entity.