Btw. another way to gain tokens is to use the ARCHON miners of course. I've noticed that they've been particularly cheap as of late :).