Mini-Grip is a great choice. It's solidly built, compact (very pocket-friendly), and cuts well. You can also choose from several styles (drop point w/ flat grind, sheepsfoot w/ hollow grind, or tanto). The 940 looks good too, although I've yet to handle one. Just looking at the specs, it is a much larger knife than the Mini-Grip though. It is pretty narrow, so it may carry well in the pocket.