There was an update regarding those coins and as far as I know, they are secured an will be available to the original investors. I believe the only coins that cannot be accounted for are those that were purchase using paypal. - I'm looking for the update and will post it here.