>>115　自己レスすみません。
鉄の計算を誤りました。500万トンの小惑星から必要量の1.8倍が得られます。

ついでにアルミニウムについても計算してみました。
Mg, Mn, Siの含有量がそれぞれ1%以下のアルミニウム合金25万トンは、
250万トンの小惑星を食い尽くせば得られます。