TTC RGB Red

I know sometimes we get tired of this line, but these are from Xianyu, and I don't have any idea what they are. They were just sold as TTC Reds, but they look comically similar to Cherry RGB switches with that yellowy/white/milky nylon bottom.