I got 5k from the dev fwiw. After the pool crashed, I solo mined almost 2k more. Make sure you won't delete my coins.