I used to carry my Leatherman Charge xti all the time, but I now work in a place where I can't wear a belt sheath. So, I need a small knife that I can carry easily in a pants pocket. I've narrowed it down to the Buck Alpha Dorado and the Benchmade Mini Griptilian. Any opinions on the relative merits of these two knives, or pointers towards relevant product reviews? Thanks!