Is there any info on when the 7star basic pool will be updated with new champs? and if yes, which new champs. Basically asking should we hoard our 7star shards or just spin?