Reddit mentions of ROYSC E-3lue EMS639 5Color LED Light USB Optical 4000 DPI Wired Professional Gaming Mouse

Hi everyone! I just want something cheap and cool-looking that matches my black and red color scheme, no need for super high build quality or a ton of buttons with macro capabilities or anything like that. That being said, I would prefer for it to have high DPI (3000+, preferably higher) and a 1000hz sensor since my current $3 Walmart 125hz is noticeably skippy on my 165hz monitor.

That being said, here's what I'm looking at:

Tecknet Raptor Pro

Pictek (rebranded from VicTsing) T7

XSOUL X5

E-3lue EMS-639

OTAO knockoff

The first four, I know for sure have drivers. The first two, I know for sure the color of the LED's can be controlled - the third and fourth, I'm fairly sure, though I'm iffy on the third (though I think it probably can). I can't seem to find drivers anywhere for the fifth, and I'm pretty sure the LED's can't be controlled, which is a shame because if they could, I'd definitely buy that one instantly since it looks so damn cool and matches my build perfectly. In terms of aesthetics, unfortunately, I vastly prefer the cheaper/lower-performing ones than the more expensive/higher-performing ones (though obviously I know those are also cheap and low-performance chinese knockoffs when compared to what you guys mostly enjoy). All that being said, do you guys have any advice for me? Is there anything in particular here that jumps out at you as something I should definitely, absolutely 100% stay away from? And, on the flipside, which of these five would you recommend? I've looked into pretty much everything in this price range that meets all my criteria (3000+ dpi, hard wired, 1000hz polling rate, black/red color scheme or LED's that can be set to red, symmetrical, sharp/"edgy" aesthetic because I'm a total sucker for that sort of thing), but if you can think of a suggestion outside of this list, feel free to let me know!