Hi, I am vacationing in the Puerto Viejo/Gandoca-Manzanillo area for a week and I have the option of coming in the middle of May (in about 3 weeks from now) or the first week of July. I plan on doing a lot of outdoor activities and realize this is the wetter time of year in CR, but out of those 2 time periods, which would be better? I noticed on the Puerto Viejo web site that the rainfall chart indicates that May is rainier than July. Is this accurate? Many thanks for any info!