With one showing in the auction section, the engraved Mini , I was wondering if anybody seriously looks to buy these guns given to employees after 20 years of service. The employee has his/her choice of gun and if they want it engraved or not. My late dad has about 6 or so . I'm not selling just curious.