How long before they'll be mining crypto?