Finally got it!

Now I just have to figure out how to do what I want with it : )
Takes 2 fisheye pictures on the same full frame. Good in relatively low light, as expected. Its manual focus, which makes sense I guess as it's focusing for both lens at the same time. Also of course it's got a huge depth of field, and I'll be taking pretty composed shots with it and not shapshots so that's fine.
Just to note if others dig up this lens for stills, what I'm in the process of figuring out now is how to have a quick workflow to make stereoscopic panoramas out of it. I found a Sourceforge cross-platform app called Hugin, which looks promising. Right now it looks like:
1. bring the original cr3 file with two fisheye images on it, and run a script to split and crop it into two separate images
2. output those images in a format Hugin can work with
3. define the "focus points"
4. ....
5. Profit?
See how it all works out...
Oh, and the camera arrives with a suitable custom lens cap and bag. So those things don't have to be ordered separately, even though they might be listed separately on some sites.