It was off-season. We planned ahead, arrived well before opening on a Monday, only to find out that you cannot buy tickets at the door. Ticket office on campus was hard to find and once found, the tickets were sold out for the morning already. Buy them on-line well in advance to avoid disappointment. (Note: The rest of the campus was still worth the climb up from the city center).