Doesn't matter. That's what the TSA clerk union is for. They were "placed on leave" which is government-speak for paid leave. They get a lot of paid vacation while the TSA ultimately puts them back to work. That's just how things work here.