Если устранят причину, то достаточно просто обработать стены, можно поставить очиститель воздуха. Однако если вы так нервничаете и все время будете думать об этом даже после ремонта, то наверное лучше рассмотреть первый вариант.Вы сами-то к чему склоняетесь?