No i dont. This 38k was used to pay miners in the first pool (owned by the dev). The pool crashed. So we got no coins from it. So he paid us (the miners) with those 38k (as far as i can track it down).
In my case (with 580khas and only 2 hours of mining) it was not much. But some miners must have had many thousends of coins. There where a lot of miners. And bounties like 500 e-tok for 1 wallet etc. where paid from it.
All those coins where being used and mabey sold to other people. If we delete those. A lot of people whould lose there coins. I think that would be very bad. People suddenly loosing coins they earned or bought. There would be no trust in the coin anymore.