and apparently they're mining at 10k cost per coin, they're lapping other countries!