Actually it was a Spyderco with a 3.5 inch blade.
I owned a Spyderco with a 4 or 4.5 inch blade once - their “Police” model. A well-made tool.