I always end up using a lot of mining tools when looking for specific types of ore. The ore selector has been showing as "coming soon". When will it be available? Anyone know? This has been a...