Guided tour of 40 min is very good, must be busy w...

Guided tour of 40 min is very good, must be busy with lots of different groups visiting, worth taking the tour at 09:30 or 10:00 in the morning.