Hi Wilibald,
dat 'nog even verder boren' had ik ook bedacht toen ik dit forum verlaten had :D
je antwoord stelt me gerust. Ik heb het nog gecheckt met zeepsop en herhaaldelijk op geur, maar er komt echt niets uit.
Ik denk dat ik eerst die oplossing met die druppel zal doen, dan, als alles open ligt bij de renovatie van het toilet, even een uiteindelijke reparatie doorvoeren.
Vraag uit belangstelling: hoe dik zijn die mantels van die buizen (volgens mij is het een 10 mm buis) doorgaans en hoe staat het met de marge in zo'n buis (qua druk): is de gas en waterdruk véél lager dan wat die buizen hebben kunnen?
Groet, topti