교대근무자가 근로자의날에 근무할경우 대체휴일 받을수 있는지여부

안녕하세요

저희는 외국계 회사이며 네트웍 서비스를 하는 관계로 하루 12시간 근무를 하고 있으며 2교대입니다. 연중무휴, 24x7 입니다. 4일일하고 4일쉬는 구조입니다.

근로자의 날, 총선(4월11일) 및 대선일 등에 같은 회사 일반 근무자 (주5일 일하시는 분들)는 쉽니다.  하지만 저희 교대근무자들은 원래 쉬는 분들은 쉬고 나오시는 분들은 나오십니다. 물론 나와서 일하시는 분들은 휴일수당을 받습니다.

여기서 궁금한 점은 원래부터 있는 법정공휴일(빨간날)이 아닌 임시공휴일(총선, 대선)이나 근로자의 날에 교대근무자가 일을 하던 안하던 그 날짜에 해당하는 대체휴일이나 하루에 해당하는 임금을 지급 받을수 있는지의 여부입니다. 해당 날짜에 일하는 분은 원래 일하는 날이고 쉬는 분들은 원래 쉬는 날이므로 빨간날이 아닌 날에 같은 회사 다른 근무자들이 쉰다면 저희 교대근무자들도 같은 혜택을  봐야 하는게 아닌가 생각하는데 법적으로는 어떤지요?