I was under the impression he had that particular model, but might be mistaken. It is however, f/5.6 and 6 mm or thereabouts, and definitively not the 7.5 mm. I've seen (poor) snapshots of the lens, but as email attachments they are gone long time ago.
What irks me ever so slightly is that I was offered the 6 mm f/5.6 by Nikon Norway in the 'mid 70s and procrastinated a little too long to get it so another customer bought it, thus instead I had make do with the 10/5.6 OP which for my purpose probably was even more useful.
Nikon Norway (now Nikon Nordic) made up for this later when they cleaned out their inventory towards the end of the '90s and found a forgotten 8 mm f/2.8 pre-AI still in its unopened box. I got a phone call and was asked whether I had interest in the lens, to which request I answered 'maybe, depends on the price. And since it is pre-AI won't be willing to pay too much." They agreed and I got the lens for USD 150 (approx.). Snooped around and found an AI-kit for the 6/2.8 from Pacific Rim Camera, that also should fit the 8/2.8. It did. Thus I got my 8/2.8 Fisheye-Nikkor with A-modification included I'd for a total of less than USD 200.
A pity such deals are virtually non-existing these days.