reagan airport

Greetings, Does anyone know of any links to bus services, or any other transport services, from USNA to Ronald Reagan Washington National Airport (DCA) for the Christmas break? Our DS (Plebe) has never flown before and he's concerned about making his flight @ 7:45pm when his last exam...