I say what I always say when it comes to pedals on European machines: Check for rf suppression capacitors and take them out. I don't have time to look up now, but recent threads explain thoroughly. Do a search. If the pedal is dead, a cheap generic pedal will do the job.