We’ve reached out to the TSA regional media spokesperson for Colorado to see how many of those non-essential TSA workers are employed at DIA and COS airports. We’re still waiting to hear back.