I reduced the height by 2mm so that the case would fit into this model - https://www.thingiverse.com/thing:4837577

I enlarged the hole for the PTFE tube because I encountered an issue where the plastic got stuck (likely because I printed it from PETG).
In the PTFE tube, you’ll need to make a cutout for the button wheel, and then insert it into the fittings. After that, install the sensor itself and the top cover of the case. The case is held in place due to the slightly deeper screwed-in fittings, as well as the fact that the PTFE tube passes all the way through.