Chris,
Maybe I just use it as is, since it's a wide FOV .... don't need the other lens :)
I can always cut the frame in edit to be 720 and then it looks wide when I export it.
Here are some examples on a Blog about the camera and 4K video: www.opo4k.com
Man, that's one crazy good 4K but no manual controls is a big issue. Check out page-2
www.opo4k.com/page2.html for some spectacular images and video.