airport taxis are overpriced. do Uber. leaving at 9:30 should give you plenty of time. BUT, follow traffic on google maps. If it is showing all red at 9 am, move up your departure.

I would avoid metro at all costs. First, the rebuilding. Second, the cost. Third, it's not consistent even in normal times.