We are in the market for a compact camera and housing for snorkeling. I have read the compact camera reviews on this site (very informative, nice work guys!) but was wondering if anyone has experience of using the Sony RX100 VII and the associated Ikelite housing, which accommodates the full zoom range of the camera? We are attracted by the autofocus qualities of this camera, including animal eye tracking, and were wondering if anyone out there has snorkeling experience with this model? Thanks in advance!