My right mouse button seems to be working again. I was about to order a new mouse, but decided to take the existing one apart first and try to #repair it. I cleaned out the gunk and sprayed a bunch of contact cleaner on the buttons. Seems to work fine! (Fingers crossed.)