An Autofocusing Fisheye Lens for Nikon d3200?

I have a Nikon d3200 and want to purchase a fisheye lens for it. I've looked at the Rokinon fisheyes and they seem great, but I want a lens that can autofocus on the d3200 (as well as manual focus). Any suggestions? My budget is about $400-$500 (I know, it's not a lot of money). I don't care if it has stabilization or not.

The Rokinon's a sport - anything that will allow you to autofocus (and meter) is way above your budget.

You'll see a couple of lenses around the Rokinon's price tag, because different distributors put their own labels on the same lens.

The Sigma 10mm is probably the closest to your budget.