Madrid airport RENFE kiosk hours?

We would like to buy train tickets for Sevilla from the airport's RENFE kiosk, at the arrival in Madrid.
Can anybody tell me what are the office hours for this kiosk ?
Thanks in advance.