Looking for my favorite old knife

[Mainsheet23]

I recently had a 90s era Boker stolen. It was a really great knife, with sentimental value. I’m trying to figure out what it was, but I’m not finding it online. It was a simple folder, drop style blade. It had a g10 handle, and most notably, a titanium ovalish- shaped titanium thumb stud. That thumb stud was really comfortable, and the knife was slim, light, and felt good in the hand. I know there were 2 sizes for the knife. Mine was the larger, with about a 3” blade. If this sounds familiar to anyone, I’d love to hear a model name to start searching for! Thanks in advance for any ideas!