I've used that mouse before - it's called a "marble mouse" for anyone trying to look it up - and I absolutely adore it. It's relatively cheap, like $19 USD, so perhaps better exists but it's so simple and basic, and perhaps most important of all, SUPER easy to clean - you just pop out the ball, rub on your shirt or some cloth, and pop it right back in, the whole procedure takes 2 seconds. It's very well-designed in that way, making it a classic.

I really like it. I saw Kraftwerk using it live and they know what they're doing. I actually picked up one like yours second hand as a backup but haven't felt the need to try it.