For anyone out there doing the math, everyone is getting about 6% of their money back, and there are 386 bitcoins that were available for distribution.  This means that in total, about BTC6433 are involved - with 6047 remaining involved after the payout of the 386.

That's US$4.5 million still outstanding.