[discobot2]

Booking is 5K employees.

[ricardobeat]

Last time I checked it had 17k employees total (source: I worked there).