Repair has been completed. Switched three keys with others that were seldom used, with little effort. The hard part is lifting the keyboard and opening and closing the cabinet. I'm getting too old for this kind of stuff. If there was a good repair shop near me I would let them do it next time.