Wow. Used to follow this one about 15-20 years ago. I see it was delisted, but what did they do with the company? Rename it? Sell it? Where did it go?