I wonder whether they have an external broker, or just self insure? With so many staff, it seems they could quite sensibly operate this internally.