Isnt_It_Just_Money

Lehman CDS Datapoint of the Day

If what you say is true, a little common sense says that if only $6 bil was paid out by protection sellers, and they had to pay 92% of the value of the bonds, doesn't this impply that Lehman defaulted on only $6.5 bil of bonds? Seems awfully low to me so something is rotten in Denmark.