Ha, ha, the tail chases the dog...
I found this very nice 2.29mm F1.4 CS-mount IR fisheye lens (1/1.8", 15MP):
https://www.aico-lens.com/product/2-29mm-cs-fisheye-lens-acf118fm0229irmm/
It's nearly 2 F-stops better (and >$300 more expensive) than the lenses used in typical panoramic cameras, likely leading to much better low-light sensitivity. Has anyone seen this lens in the wild? Has anyone tried to use this or a similar lens to upgrade a panoramic camera? Which known, existing outdoor IR camera would you use to upgrade in this fashion?