Уважаемый Автор, Вы совершенно правы.
P.S. Удачи в завершении ремонта. Последний дюйм, он трудный самый...знают все, кто в теме.