are they going to name the servers kezan-1, kezan-2 etc, or will they give it more interesting names?