All About Pocket Knives

Howdy, I have a friend that has a

Benchmade Tomahawk

MADE IN USA. Head length/Spike length: 7.50-Inch/3.5-Inch
Overall Length: 16.25-Inch. Like new with seath. I think he wants too much for it. Are Benchmade items that good?
Thx a lot, H B

Is it the one with the prybar handle? Google shows several venders, all are out of stock, looks discontinued. Prices "when back in stock"" are all over the place.