[marcholagao]

That does seem high. I would put it at closer to 8% of GDP. The point I made stands though.