Meanwhile I never bought tokens in the first place, and bought GPUs instead. There are always choices!