Aqara Magnetic Door Sensor Models

i'm making some mounts for my aqara door/window magnetic sensors.  these are the models i mocked up for the sensor and magnet, so i can model around them.  i figured i'd post them so anyone else modelling something related to these sensors can skip that step and just use these STL's.  enjoy

oh and the real thing has tapered sides, slightly.  i just made the whole thing the same width as the widest part (the bottom).  if you need it to be nearly perfect, taper the entire top in 0.2mm from each side.  but in most cases in 3d printing, a little wiggle room never hurt anything