Those were pretty good. And they were PS/2 mice, weren't they?

Yep. And Yep.

I still use em, though I have a cordless optical Logitech for my Wintendo / faster Octane. Since the newer IRIX releases have support for the mouse wheel, it seemed like a good idea. Works like a charm.