I was just curious if anyone has both the original and mini version of the Benchmade 940 Osborne? If so, which do you prefer? I'm trying to save up for another knife purchase, and these are on my list, but I don't know which one would be better for me? I wouldn't want the knife to be too small or too big, so just curious as to people's thoughts who have had experience with both versions. Thanks!