I found a Winchester model 12 trench gun that was owned by a police department. it has the name of the department engraved on the side of the receiver. it is US marked with a mint winchester bayonet. how much does the engraving hurt the price? asking $1900.00