Please help with Rokinon 7.5

I downloaded KenW's profiles for this lens, but I can't get them to show up in LR (version 4.3).  However, i also see that people have been using the Sigma 8mm lens profile in LR with good results.

Is there any other de-fish software that people recommend?  I'm looking at Fisheye-hemi plugin for photoshop.  Will it give me better results than using one of the lens profiles above?

Also, is there a way to make the camera magnify the image on the screen to assist with focusing? I've looked in the manual focus, but can't find any way of doing this.

Thanks.