and from all of this they got only $130B ?
I wonder if your thoughts would be any different if they managed to get enough to actually pay off the deficit?