UA129 Customs/Immigration Time at GIG

I am arriving on a Tuesday on UA 129 IAH-GIG at 9:20 AM and trying to plan my day in Rio. Does anybody have recent experience with how much time customs and immigrations take on average for a non-Brazilian? Seems like UA129 is at the tail-end of a bunch of international flights.

Thanks!