Nikon Nikkor Fish eye lenses?

What are some older manual focus / AI fish eye lenses?
Also, what's the most affordable fish eye [non-DX]
Willing to look at off brand lenses too
Added (1). will the Opteka 6.5mm Fisheye Lens work on a full frame DSLR or will there be a big vignette?

Opteka on the amazon.

Rokinon is ok

Neewer Rokinon both ok see on the amazon

Opteka/Rokinon/Neweer/ whoever paid for this week's batch of labels 8.5mm.
This lens has a dozen names (I think Bower once listed it as a 6mm), but it's the same budget fisheye. If you want metering on a D3xxx/D5xxx, you have to buy the version with a computer chip.
While the fisheye effect may be impressive the first time, it gets very old very quickly.

Nikon's 16mm was a popular model.