LED diffuser

These models are meant as LED diffusers for doll house lighting.
I've fastened them in a DIY doll house by hot gluing magnets to the diffusers and hot gluing magnets into holes in the dollhouse which I've milled with a Dremel.

These were printed with transparent PETG to create a diffuser effect and raise the temperature tolerance slightly compared to using PLA.

There is a circular version and an extended version.
I never got around to using the circular version, but was intending to use two or three individual LEDs in some configuration.
The extended version fits two short rows of soldered together strip LEDs.