I recently won a Walther PPK/S in a raffle, and when I picked it up at the gun shop, I asked for instructions in field stripping it. No one could break it down, even the in-house gunsmith who had done it hundreds of times before. Anyway, the shop sent it back to Walther for repair/replacement. That was four weeks ago. How long does Walther usually take to repair pistols?