Is it really cheaper to mine platinum from an asteroid?