For an enterprise that size you're going to want some redundancy. Look into sipXcom for telephony services and a Sangoma session border controller (appliance or virtual) for inbound/outbound call routing to multiple VoIP carriers. Combine all of that with some Polycom VVX phones and you've got a recipe for awesomeness.
eZuce Uniteme is the commercial version of sipXcom and offers more enterprise features that the open source version. PM me if you want to know more, I can connect you with someone who can get you on the right path.
(Disclaimer: I don't work for eZuce but I used to, still have contacts there.)
If you haven't already considered it, you should really look into sipXcom. Open-source, auto provisioning for a variety of phones, built in SBC services, etc. Plus of you get to the point that you want to hand off support you can transition to the enterprise version seamlessly.
sipXcom is probably one of the better open source platforms with redundancy/HA. If you want commercial support and more enterprise features you'll want to get in touch with someone at eZuce. I used the eZuce platform to replace a 1,000 seat Meridian system at a county government in Texas with great success.
Oh, it works fantastically with Polycom phones.
Host it yourself: Have a look at http://www.ezuce.com/products/openUC (which is the commercial version of sipXcom http://www.sipxcom.org formerly known as sipXecs).
Cloud based: Really neat platform with Corvisa: http://www.corvisa.com
If you have questions, feel free to message me.
sipXcom is the extension of sipXecs. There was some sort of split, I dunno the whole story, and the result is sipXcom and seems to have more activity now. sipXcom is the community edition of EZ UCE, if you need formalized support. Both are well supported with an active community.
sipXcom previously sipXecs. * opensource * webui configuration * autoprovisioning support for Polycom phones * lots of documentation * Built-in SBC w/ templates for major ITSPs (voip.ms, bandwidth.com, etc.) Best of all your knowledge can be utilized with openUC (the commercial version of sipXcom) that is widely utilized in a number of markets and growing.