How many employees does Vertex have?

Could you please provide me with some information about the staffing at Vertex? Specifically, I'm curious to know how many employees they currently have. Is there a publicly available figure for this, or would you be able to offer an estimate based on your knowledge of the company? Understanding the size of their workforce could give us some insight into their operational capabilities and potential for growth. Thank you for your assistance.