Its 9mm, has back filter, and is the same as the 7artisians 9mm f5.6 - quite good. And $500
AF is not my thing in uwa lens. They typically have really big dof without focus bracketing and I would not use a super wide that much.
My widest lens is laowa 12 but sometimes the mountains are too close even for it. And the back screw in 10 stop is a great feature.
[after posting link I searched brightinstsar and it indicated fraud website. Strange philipreeve site refers to it. Usually reliable. Any use at your own risk. ]