I have an AOI DLP04P semi dome port in an AOI UH-OM1-II housing, and I'm wondering if there are any options for something wider than 12mm other than the 9-18? I guess I could consider a 9-18 for the right price but I have the feeling it will be a let down compared to the sharpness of the other lens I'm using (12-45, 30mm and 60mm macro). I'm already packing 3 ports so I'm not wild about a full dome port, especially as I am currently mainly shooting macro. I have a Rokinon manual focus 7.5mm fisheye, but it sits too far back from this port.