Told ya.
According to the manual and the appendix drawings from the front of the integrated filter wheel to the sensor is 54.06mm.
Your next question is whether you can get an adapter made that is 3mm from the camera to the flattener. Based on my experience the filter wheel opening is 3" but it might be different for this camera. In my case I needed to make an adapter that can bolt directly onto the camera. The shortest one was 12mm.