Quench: physics, buttons and what staff do

Explain what happens in a quench, inspect the quench pipe and emergency controls on every visit, tell the emergency power-off button from the magnet stop button, and know who presses which one and what the staff do next.