Hi,
I was with the IRIX guys yesterday at Photokina.
The15mm is reality already, had it on my K-1. It is huge, built like a tank. And if put sharp correctly it is sharp. As per F5.6 this seems to be a little issue only.
The 11mm was presented as pre-production model. Size-wise it is like the 15mm. but the front-lens is a real pop-eye. We tested it on a Nikon750 and it was really impressive. You've got an awesome lot of stuff on your sensor with it.
Maybe it may appear by end of the year and the goal is to maybe get a price tag somewhat near to EUR 1000. This is not confirmed, but that's where they are heading.
Keep in mind, each lens is at ca. 750g, not quite a lightweight
Best
Georg