We have a Walther .380 PPK/S. It has had 20 rounds through it. We bought it in 07 and just haven't had time to shoot it. We just found out about the recall from 2009, and I've been reading some forum posts about people who had problems when they received their guns back from the factory. We'd like to sell or trade the gun. Is it worth our while to get it fixed from the factory or sell/trade it without fixing it?