They will repair any gun with Walther on it. Previously they repaired an Interarms/Ranger PPK for me. They are now returning my S&W made PPK/S-1 after fixing it. Tracking shows it will be here tomorrow.
Excellent people to deal with. The only question they ask is what's wrong with it? Turn around time is generally two weeks or less.
Absolutely outstanding customer service.