Доброго времени суток!
Сегодня дома сантехник паял трубу - в одном месте получился небольшой дефект от контакта с нагревателем.
Фото прикрепляю:


Работник утверждает, что ничего критичного. Какое ваше мнение? Можно ли это ремонтировать, оставить как есть, либо следует заменить участок?