Pre-booking not strictly requirement; entrance queues are usually short, but can reach 30+ minutes during peak times.

Timed-entry tickets available online.