근로자의 날에 은행, 보험회사, 증권회사도 휴무인지요?

근로자의 날인 5월 1일에는 일반 회사에 다니는 근로자는 모두 공휴일인데, 은행, 보험회사 그리고 증권회사 직원들도 휴무인지요?