A friend's house in the area was robbed yesterday. They stole her Walther PPK/S and her husband's Colt (not sure what model). Her PPK/S serial number is 9292BAD, so if anyone happens to see it being offered for sale, please alert your local authorities. I'll update with the information on the other gun when she sends that. Thanks!