Maybe a little high in today's market. A couple of years ago I bought a Belgian 16 Damascus hammer gun from one of the members here. Think I paid $850, and condition/quality seem a bit better than the one you describe. Nice gun for the money, and it took care of my jones for a hammer 16.