>умеренных размеров дырку. А то и без пиратов все было бы очень печально.
Скорее просто профилактические осмотры в такой сфере не спустя рукава делают. Шарик - это сосуд высого давления, а к нему технадзор весьма жеткие требования предьявляет. В том числе обязательное периодическое ультрозвуковое обследование на предмет микротрещин. Так что думаю нет там оперативных средств для залатывания.