Get the mini-RSK Mk1. You won't be sorry. I've EDC'ed one for several years now and it is one tough knife - and nicely sized for daily pocket carry.

The blade is distinctly different from the standard issue Griptilian both in shape, grind, and steel. In my view it is well worth the extra cost ... plus some of the money goes to support equipped.org, which is in itself a very worthy cause.

As much as the fullsized Mk1 feels better in my hand, it is a bit to bulky for daily (at work) pocket wear.