Josephson Mic

Anyone familiar with the Josephson C550 ½" mike? I used it as a calibration mike 15 years ago but it's just been sitting on  a shelf since then. Any idea what it's worth today?