re: #57 ericblair

Apparently yes, but not much. They’ll run out of fuel eventually, but the lifetime is determined by the helium coolant supply running out (5 to 10 years).

In 10 years we should be able to think up a service call.