제주 공항이나 호텔에서 쓰는 키보드 혹시 아시나요?

제주도 갈 기회가 있었는데요, 호텔 프론트와 공항 매표소(?)에 동일한 키보드를 사용하고 있더군요.
지식이 미천한 제가 보기에도 보통 놈이 아닐 것이라는 생각이 들었습니다.

검정색, 매우 튼튼해보이면서, 키캡은 꽤 높고, 소리 또한 또각 거리는 것이....
기계식 키보드는 사용해본적이 없지만, 아마도 그런 류의 놈일 것이라고 막연히 추측합니다.
전문가님의 확인사살 또는 지식전파....부탁합니다.

키보딩딩님의 우체국 키보드 안내..ㅎㅎ 를 보고 불현듯 제주도 공항키보드가 생각나서 문의드리게 되었습니다.