I;m afraid you'll be waiting a lot longer......of course they first need to file a Form 10 to become fully reporting again, before filing with the SEC.
