not that hard or expensive to replace the switch. a soldering set costs around 30ish, and mouse switches and wheel encoders are only a few rm each. for me, encoders are always the first to go, so i replace them myself. mouse is one of the most used peripherals, so equipping yourself with the skills and parts to fix it is not a bad idea.