They paid about 21c for a $25 face value share. At 20% payout, it's $5 in bankruptcy court. Wall Street Journal quoted creditors predicting a 10% payout, but that was before all the money was found.
DISCLAIMER: I am a dirty, rotten penny investor. I am not compensated by any stock. I've asked them to pay me, they refuse. I buy stock on the open market. I sell it there. I like money. I am greedy. I am under the care of a psychiatrist.