Well you don't need to mine the coin to use the DNS system. You can obtain tokens some other way (an exchange) and buy a name on chain.