Done this a few times. If possible change your flight to DCA which is the next station from Crystal City.

Washington Flyer has a published schedule (http://www.washfly.com/metro.htm). You can coordinate the metro schedule with the bus schedule and you will have better idea exactly when you get there.

You will have to switch lines on the Metro from Orange line to Blue line.