My brother is renting from Avis at DCA at the end of the mth. Does anyone know if you have to take a shuttle bus to get to the rental counter or does AVIS have it coupled with the airport terminal (example: PDX)?

He's arriving at 9PM so he wants to get out as soon as possible to the hotel before it gets too late....