Comment by cehrlich

Not sure which version was more popular, but I bought a red/blue switch on launch day. And anecdotally I'd say I've seen more of those than the grey one over the years.