сосед стал слишком шумным

сосед с верху натянул натяжной потолок ну и как полагается снял всю стяжку с пола и залив тонкий слой стяжки постелил ламинат ( видимо хороший) вопрос: какой тощины должны быть стяжка и соответственно толщина пола в кирпичном девяти этажном доме ленинградского проекта