10557.516 BTC has been paid out in total.
For anyone else who was confused like me, and also for clarity, I believe that this is the total payout of the fund since it announced it was closing, including the partial payouts received in November, February and March. As a result, if you're using the investor list to work out the fraction of this number you'll be getting, the most recent payout will be about 80% of the figure you calculate.
Regardless, thanks DeaDTerra. Even though I joined the fund at about the worst time possible, I still made a net profit of a few coins. It feels like a lot more than that, however, as I'd written these coins off as lost. Thanks again for being as transparent as you have been about the whole process.
8450 Bitcoins was paid in the latest payment.