Das Teil ist doch nur ein Mikroschalter und man bekommt den in jedem elektronikfachhandel in jeder erdenklichen Form.
Such mal unter Conrad.de nach "MICROSCHALTER 20 X 10 X 6,5 MM". Da hast du schon so ein Teil. Der einzige Unterschied: er ist Blau.