I would ask HR, but that would mean that they might actually have to reply to a request from an employee.