Ну какая разница. Хозяев устраивает. Хуже не будет. Я вот по поводу грибка не понимаю всех постов,  вернее понимаю, что грибок это зло и вред,  но если они уже 10лет там жили (и вроде все живы-здоровы) и жили бы и дальше, что с этим ремонтом косметическим, что без -- разницы никакой.