On Friday, January 24, 2020 at 1:12:49 PM UTC-7, John Savard wrote:
On Friday, January 24, 2020 at 12:04:55 PM UTC-7, John Savard wrote:

Chromium was over $5000 a ton a few years ago, but it's back down in price.

Oops, that was Manganese. Chromium is more expensive, at $7000 per ton.

Manganese steel is very hard, so it would be impossible to mint, but it is a
cheaper non-magnetic metal.

John Savard