Doepfer

> They are pretty flimsy little switches.  If indeed it were the 
switch, it
> seems like changing it out might not be that onerous a repair, 
right?

It would actually be quite tortuous! The jack sockets corresponding 
to each push-button are mounted on the solder side of the PCB, and 
directly cover the connections and mounting bracket pins of the 
switch. Thus to replace the switch would require removing it's 
associated socket first - a job complicated by the fact that the 
sockets are in such close proximity to each other. The easiest thing 
would probably be to destroy the socket by snapping the plastic, thus 
exposing its pins to ease their removal, change the switch, and put a 
new socket in. Even reaching around the sides of the new socket to 
solder it in place would be tricky and require a small soldering iron 
bit! (There is so little room in fact that in a few instances the 
mounting bracket for the switch is used to route the signal coming in 
from the socket - very cunning!)

Definitely not one for the faint-hearted!

Tim