I have one of the fisheye's under the Rokinon name. I had one for my Panasonic mirrorless which I sold to a videographer who was going to use it with a Black Magic. I have one for my Canon 6D and used it a lot on my trip to Maui.
Its a manual lens but there isn't much need to focus because the depth of field is so large.