Was wondering what is a reasonable price to pay for a used Walther PPKs used. Just saw one at a local gun shop for $545. Thanks