Włącznik dwukolorowy LED (zielony/czerwony) do sterowania elektrozaczepem drzwi

Witam.
Poszukuję pomocy w znalezieniu włącznika, który ma zmienną barwę: zielony — otwarty, czerwony — zamknięty, do zwalniania elektrozaczepu.
Dokładnie taki jak na zdjęciu.
Do zastosowania w drzwiach wejściowych.
Dziękuję za wszelką pomoc.
Przeszukałem Google i mam tylko z podświetleniem o jednej barwie.

https://allegro.pl/oferta/przycisk-bistabilny-wandaloodporny-dwa-kolory-12v-11585550886