Corsair k100 here with the corsair opx switches. Love the dedicated macro keys but Linux support is non-existent…or so I thought. Thank you @KDen for mentioning ckb drivers, I bookmarked them and will take a look.
The HP encoder keyboard comes with MX reds and I think blues or browns. You can frequently pick it up for around 40$. You’ll need to replace the keycaps as the ones HP has on it are brittle but the deck and switches are VERY good at that price.
I was in a situation needing a keyboard sub 100$ and that’s what I got. I swapped all but the windows key, space bar, and one Ctrl key as they’re non standard sizing along with spacebar being well supported and Ctrl button being infrequently used on that side of the keyboard. Price with keycaps was 60$ and I’m pleased with it.