Could you recommend a replacement switch? I’ve got an electrician/sound guy friend who is going to help me out with the install, but I have no idea what to order.