The Logitech Dual Optical Mouse is really nice, and their OSX driver works very well. The 4th button does not get in the way of normal use and the driver allows you to program key strokes or pre-set definitions (I programmed the 'back' function using key strokes).
