Do you know of they have any kind of timeframe to get their mainnet running, or do you think it's dead in the water as some people starting to believe