Yes. Personally I'd prefer the US government get its stake from a bankruptcy court for pennies on the dollar.
Reply on news.ycombinator.com