If it acts up again with the same symtoms, I'll replace the push
buttons and the lights (while I'm in there).

Thank you for your advise. I hope it will be awhile before I have to update.

Allen