RICO's Q - May 1 is Labor Day (Día del Trabajador) in Costa Rica. Coinciding with International Workers' Day, the day is a mandatory pay holiday. While workers across the country take a day off from their daily grind, the country's politicians take the day for pomp and ceremony, which includes the President's report for…