Magnet Emergency Quench Button
It is not required, that the user interacts with the magnet during normal operation conditions.
In the emergency case, the magnet can be quenched at any time using one of the emergency quench buttons (1) or (2). See section Safety, Magnet Emergency Quench Button and familiarize yourself with the location and usage.
Magnet emergency quench buttons (1) and (2).