Thank you so much for this reply, this is already very helpful.

Budget: I'm willing to invest in a quality product, but I'm a bit hesitant to spend really large amounts of money because mouses (mice?) have not lasted very long so far. So, maybe between €50 and €100?

As far as I know, he doesn't have one he's already looking for. No particular brand loyalty either.

Your Logitech sounds good, especially that its easy to take apart. I'll look into it!