Originally Posted by Tom Frank
Looks like this has been sorted out. I was interested in corner-to-corner AOV to diminish the vignetting if a suitable replacement lens could be found.
I finally got around to measuring the lens assembly diameter for my venerable #3, it's only 5.4mm. The lens itself is big, but no joy for a HD808 swap