It’s been in pretty bad shape for many, many years, and it will be pretty nice to replace it. I had $6.99 left on an ebay gift card and was able to get the new lens, a 4.5 mm gamebit, and a triwing screwdriver. 🙂
On a side note, who’s still making these lenses after all these years? Or are they “new old stock”?