I was expecting it to be in the $500m region, on the basis that not having fancy AI to decide who to search or deport would lead to daily terrorist attacks, and infinite funding is available to stop terrorists.