Looking for any guidance. We are 3 guys in our 30s looking to explore Rio for first time. Our options are first week of may or pushing trip back to june or july. I realize crowds are down significantly in april/may vs. december/january- we are ok with that but do not want the city or beach to feel desolate. We certainly want to visit when there is some energy in the city(im sure there is always a baseline amount of energy compared to other cities)... Any help is appreciated. We enjoy good food, nightlife, daytime explorations. Thanks!