Just noting that this is also true of Nauticam housings, not just with the 8-25, but also with the 12-40; it’s also easier to put the lens on after the body’s mounted with the 90 macro. Those two (12-40 and 90) 85-90% of my usage these days, and the 12-40 has been my non-macro go-to for 10 or 11 years. It’s a pain, but worth it for the results with those lenses (I can’t use the 8-25 because I have the Zen dome with the built-in extension, but would like to). I can wiggle the camera with lenses out of the housing enough to do battery and SD card changes, which mitigates the issue considerably, and otherwise, it’s just part of the drill.