[high_na_euv]

Why put so much effort when at worst you have a few hours of downtime

[0cf8612b2e1e]

As they say, each 9 of uptime increases costs by an order of magnitude. For a non profit service, a few hours of downtime seems a fine trade off vs engineering all of the “right” redundancies. All of which have their own operational costs.