Have they registered for an IPO yet, if so with who? It ain't happening in December, IPO's take time to put together.