ivansm, диаметр не скажу, т.к. не знаю. Взяла трубу и пошла на рынок.
Кста, 3 года прошло с момента "ремонта". Проблема больше не всплывает.