Tokens stay in pool after use; each token can only join a given server once.