How do the Benchmade Mini-Presidio and the HK 14210 compare? I know what the specs are from the BM website, but more specifically in regards to ergonomics, build quality, slicing ability, etc. I am considering one of these as a new daily use knife for general utility. I have a 943, which I am quite happy with, but would like something with a shorter blade. I recently purchased a 635 Skirmish, but find that I like the axis lock much better than a frame lock. The other item that is important to me is pocket-ability, meaning is it comfortable after carrying it all day. I find some knives to thick and noticeable after being clipped to your back pocket all day long. Any thoughts or suggestions would be most welcome. I have done a search, but I havent found any threads comparing these two models directly. Thanks.