Horarios de vuelta en el Aeropuerto Internacional de Atenas

Estoy pensando en alquilar desde Budget o Hertz en el Aeropuerto Internacional de Atenas (ambos en el sitio) y devolver el coche a las 07:00 en el aeropuerto para coger el vuelo a Heathrow en 0910. ¿Cuánto tiempo se tarda en devolver un coche a cualquiera de estos dos Empresas de alquiler de coches? ¿Es tan eficiente como decir, volver a DFW, o es mucho más involucrado con largas colas, etc? ¿Debo devolver el coche la noche anterior y luego conseguir un hotel con un servicio de transporte?