Suggest me a good mk around 10k

So currently I am considering 3 options 1. Rainy75 - idk what’s the difference is between different keys and pro and standard(aside from battery like) 2. NuPhy Halo75 V2 3. Aula75 - save some money and go for the cheap if there is not much difference between this and more expensive ones

I am a software developer so the keyboard should be comfortable typing for 8 hrs and some gaming later