Are you sure it is 9mm and not 7.65mm??? Do all numbers match???
Is it a local buy??? From an individual or a dealer??? Online site??? Local taxes, FFL fees, registration fee, shipping can add to the total.
$750 is a fair price for either caliber IMO. Frosty barrel/bore is more or less to be expected. These are old guns.
__________________
I like my coffee the
way I like my women...
...Cold and bitter... 
|