Problem z wylewką na poddaszu użytkowym.

Mam pytanie odnośnie wylewek. Na poddaszu mam zrobione wszędzie ogrzewanie podłogowe, ekipa robiąca wylewki zrobiła je o grubości 5-6cm. Zwróciłem im uwage, że jak jest ogrzewanie to chyba ma być 7cm to stwierdzili, że tyle w zupełności wystarczy i nie ma co niepotrzebnie obciążać stropu. Materiału mieli więcej to na pewno nie bali się że im braknie. Co o tym myślicie?