"Government paid more than $2 billion including interest, and was fully paid in 2007." . . . .