we aren't anywhere close to that point yet though, and we won't be by the time we are able to mine asteroids.

so it doesn't matter. Also the biggest expensive is often labor, which is 1/100th the price in Africa.