How big a deal is Corpus Christi day which Google tells me is a public holiday on 8th June.... I'm looking at a business trip in June so wondered if people would be at work / taking time for family??