Уважаемые сварщики! ! Помогите будущему коллеге ответить на вопрос

Что надо делать с резаком для разделительной резки, если в процессе работа произошёл его перегрев?
1. Охладить в чистой воде.
2. Заменить на другой резак.
3. Сделать технологический перерыв.