I just spotted that the Nauticam housing for the BM pocket camera is on the Nauticam Australia website as coming soon. Here's the link:
So now I am wondering about a WA lens again. Does anyone know how to figure out what the 8mm FE would look like on a Pocket Camera? Can you just use the same crop factor as for a rectilinear lens with a fisheye?