What are the choices (not Metro) to go from a Sol area hotel (Carlos V) to Madrid airport?

How much time should I allow between 8-9AM on a Tuesday morning (10:40AM flight)?

Also, how much time should I allow between getting to the airport and flight time (domestic)?

I'm trying to decide between AVE and Plane between Madrid and Seville.

Thanks.