Народ, я смотрел фотки и заметил смешную вещь - там под толкателями кнопок стоят обычные советские микровыключатели (маленькие плоские, коричневого цвета, три контакта). Так кнопки на их базе на рынке стоят рублей 30. К чему это я? А к тому, что можно не искать "оригиналы" (ибо нам военное качество и не надо), а подбирать по внешнему виду, либо просто выточить/отлить толкатели нужной формы.