Those look like Otto switches. The thinner ones are the Otto K1 and the wider ones are the K2. You can find the Otto catalog online, which provides details on all the variations. Van's sells a few of the switch combinations (in black). Otherwise companies like Mouser or Digi-Key sell some. The red ones may be hard to locate unless you are able to order a larger volume.
Jerald