What other statutory benefits are there in Costa Rica?

In Costa Rica, all employees who have worked for the employer for over 1 month are entitled to a Christmas bonus ("aguinaldo"). This bonus is equal to 1 month's salary and must be paid within the first 20 days of December.