One thing to look into. Many large companies, you stated there were 10,000 employees, self insure. The insurance carrier may only be used for administration or stop loss, only paying out of their own pocket once a certain dollar amount is reached. Many states only apply the rules and regulations you quoted to fully insured plans.
If it is self funded your employer largley determines what is and is not covered. You may appeal to them to have it paid.