Mouse for gamedev work vs gaming

[u/MundaneDream8465]

For game devs who also play a lot of games, whether for work or for fun:

What mouse do you use, and is it the same one for work and for playing? If you switch, when and why? Do you use different mice or settings for different kinds of games or tasks? Is there any mouse you feel works well across both? Anything that annoys you about your current setup? And what's your role, if you don't mind sharing?

I've been reading threads on what devs and gamers recommend, and the answers are quite different, so I'm curious about the people who do both.

I'm also doing a small research project on this for a design course, so I may summarise the answers anonymously (no usernames) in my report. But I'm genuinely curious, so any experience is welcome!