Nice, I had literally the same options. I would have bought Vortex Race3 but there is no RGB in stock. So I'm thinking of buying GMMK TKL barebones and getting Holy Pandas. CTRL is too expensive for me.
I tried to look for it but all the 80% keyboards and lower that ducky have are really out so I went with a similar option and the keyboard is called the Anne Pro 2