Ik heb een ventilatie voor mijn badkamer besteld. De diameter van de buis is 150mm. Mijn vraag is dan: hoe groot moet het gat - het ventilatiekanaal - zijn? Is dat precies 150mm, of iets groter (zeg 160mm)? Het gat moet door een stenen muur (van binnen naar buiten) worden geboord.