Does anyone have any experience of replacing the leather piston seal on a Walther LP53 with one of the synthetic ones which are now available?