which mouse to get to use with laptop on the go?

ATK VXE Dragonfly R1 SE+ for 7500 Attack Shark X11 Wireless 7500 Redragon M916 KING STD Ultra-light 5000

which is worth it?

or should I just get a4tech FB35CS for 3500 a4tech FB10C for 3000

or are mouse not with spending this much on?