Home Costa Rica News December 1st: A Day of Rest or Double Pay in Costa Rica? Understanding the Holiday Pay Rules!