Having decided to undergo Retail Therapy, I'm in the market for a three (Count 'Em: 3!) button mouse. Can you recommend a specific model? Of course I want one that works well with Apple's X11, but I also need it to work well with whatever X11 Debian Linux is using these days.