Allan, they have since been pulled and no longer issued. The employees are now using the regular red card. Different stories from different people.