It seems likely that the cost of refurbishing the machines near the time they turn them back on (if they ever do) is very likely cheaper than maintaining them a

It seems likely that the cost of refurbishing the machines near the time they turn them back on (if they ever do) is very likely cheaper than maintaining them and running small amounts over 10 years. Even if they don't do production they can inspect and maintain the machines as necessary to ensure the most coat effective approach. Furthermore I would expect that these machines will be used for other coins so it is likely a non-issue anyways.