I reviewed the pertinent messages then checked out the website for reserving tickets in advance. In May, the morning schedule is 8-2 and afternoon 2-8. Is there a preferable time to visit (perhaps afternoon so as to include sunset)?

It's been many years since we were last there. You would be astonished to see the photos of ONLY our two friends and us in El Patio de los Leones. Things sure were different then!! --CC