The US spends some $20 billion per year on immigration enforcement. The budget for immigration courts is about $420 million.