Gun peeps. I'm looking into buying a handgun soon, and there's a police officer/gun nut selling a couple from his collection. One's an old Browning 9mm, the other's a Walther (PPK or P99, not sure) 9mm. Both are in great condition. You guys think these are pretty good guns?