And $75k ish of helium - which is getting pricier by the day, and can at times be impossible to source. And the riskiest time in terms of quenches, is during ramping. Our last quench re-occurred just as they finished ramping it. We were down for 3 weeks ish and the cost excluding helium was huge.