Should the Border Patrol agents sue?