Model originally uploaded to Thingiverse at https://www.thingiverse.com/thing:2009793. Pipe collar trim for the 15mm pipes commonly used in UK plumbing. This has an external diameter of 25mm, internal diameter 15.5mm and height of 8mm. Subtler than the ones carried in DIY stores that are usually about 54mm (!) diameter. After fitting, you can gently sand them and paint to match the surrounding decor.