5% of TSA’s annual budget ain’t nothing to scoff at.