Okay, this may not make your day, but you can get those to work with a little effort on your part. The upside is that once you figure it out, you'll be able to carry that across to a linux version, and even things like freeBSD and anything else that uses XFree86. The downside is that it's going to take a little reading and tinkering. I'd go through the motions myself to save you the trouble, but I only have a generic wheelmouse.
Basically, all you have to do is edit your /etc/X11/XF86Config file to see the buttons, and describe what they are for. XFree86 will work with all kinds of mice, so that shouldn't be a problem. The trick is finding out exactly what you need to do.
For this, I recommend stopping in at
http://www.xfree86.org/ , then clicking Support, documentation, resources. From there, check out the xfree86 man pages. There is a link to configuring mouse support,
http://www.xfree86.org/current/mouse.html
That should at least give you some idea of what you need to do. Hope that helps.