These use Gaterons IIRC.
Greetech, not Gateron. Greetechs are cheaper.
How cheap are they? Well, here's a reference point. You could get the reconditioned Das 4c with Greetech switches for $90, or, via Massdrop, you could spend $70 to get a
brand new RK RG987, also with Greetech switches, but also with doubleshot keycaps and RGB backlighting. Both are made in China, and neither has a great reputation for quality (but, for the price of a new Das 4c and a few dollars more, you could buy
two RG987s and just swap in the second one when the first one breaks).