Would anyone be interested in a Nikkor 5.1mm f/2.8 fisheye?

I had a Nikkor 10.5mm f/2.8 fisheye that I really liked, and for some nonsensical reason, I sold it. I wish I still had it to capture the interior of large buildings and for some specialty super wide people photos. Since the 6.7-13mm and the 32mm fast prime have been announced, do you think they might add a fisheye at some point? Perhaps a rectilinear 5.1mm? I'd be interested in seeing what it could do.