Elite Dangerous Mining with Music