> 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