$1500 USD is more than double the price of a new retail M17 civilian model. As they are the same thing except for a (formerly) military serial number, I fail to see the point. Why pay double for a used pistol just because some US service-person has handled, shot and (presumably) maintained it like they could care less about it because it belongs to the government?!?
I used to be a soldier and I'll sell you my used M17 for $1500 USD..... It's a real "steal"!