Повреждение газовой трубы при ремонте - кто должен платить и сколько?

Делали ремонт в квартире и ремонтники повредили газовую трубу, которая находится в подъезде над мой входной дверью (сверлили дырку из квартиры наружу). Образовалась дыра в трубе. ) Вызвал газовщиков, наскоро все замотали и сказали, что приедут позже менять трубу. Главное, они сказали, что мне придется заплатить за ремонт в районе 20 т.р. - сюда входит новый кусок трубы, сварка, остановка подачи газа, продувка труб для запуска газа и сам запуск газа. Чувствую, что развод. Подскажите, кто должен платить в этом случае и сколько. Спасибо.