To steel-man their sentence, it’s a large number to extract from US citizens, nearly $500/person. But it’s a small number in terms of government deficit and current spending