Companies often have an internal escalation path to deal with issues with their company provided health insurance, for instance if the insurance fails to cover something that their company claims they should cover. Those escalation tickets will be logged and retained.