They do indeed have options, but as I posted, there has been a huge uptick in threats against judges this year including threats against their families. It’s not the marshal’s or police who would be in real danger arresting an ICE agent. It would be the judge who gave the order. It will take a judge with real courage to issue that order.