The 15mm pipes to my shower come through the bathroom ceiling. It looks a but untidy. I'm sure I've seen or heard of something looking like a sort of top hat that fits round the pipes and pushes into the hole to neaten it up but I can't find anything. Perhaps I'm not looking under the right name. I've tried "pipe trim" but that doesn't work.
What would I ask for, and where?