The solenoid quenched on powerlead temps this morning at 10:00. It is warming up and the power leads are >200K.Isolating and purging the coldbox is not very useful now, so I am shutting the system down.