It seems like a new cool phase for Rokinon and I look forward to see more footage and tests.
But I have to say that they aren't the cheapest set out there. Sony has dropped the price for their Sony CineAlta 4K Six Lens Kit (PL Mount) to $12,900, making each lens cost $2,150.
Of course, I'm not considering anything like lens mounts, character, coating, t-stops, bokeh, etc.
But I just wanted to share with the community since I really think it's a good deal.

Did you guys encounter any kind of issue with IR pollution while using the ND Filters? Did you guys use any kind of IR Filtration?

It would be cool to have a camera firmware update making it possible to use the 5" monitor to record externally 1080p60 with the Pocket, Cinema and Production 4k cameras.

That's amazing! Did the Metabones Adapter help with the Rolling Shutter? All the handheld footage I have watched from the Pocket Camera to this day was terrible. It had this wobbly feel to it. But I don't see that on the footage you guys shot. It's looks very impressive. Did you guys deal with those cameras in any special way while shooting handheld? Which was the longest lens you guys used handheld? Thanks and congrats for the great work!