Here is an old 'Unofficial Olympus Lens Page.' It lists the 8mm Fisheye, used, at $1090.USD
It's a handy used price guide, but old...last updated NOV, 2004.
Hope it helps,

Marc

http://chlngr.com/zuiko.html