I needed to create a custom case for a filament runout sensor I had laying around. Since I had to measure most of the PCB it uses I just took some time and modeled the entire assembly! The sensor I used as reference is the usual one you can find on aliexpress, like this https://www.aliexpress.com/item/33053134385.html
It's not 100% perfect, but it should do the job if you intend on modeling something with it.
Let me know if you find issues with my design, I'll be happy to improve on it!
The author hasn't provided the model origin yet.