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.