At least 20 minutes is best probably. Maybe 40 minutes during tourist season because on rare occasions it will fill up so people at the back of the line have to wait for the next one. Luckily there is plenty to see and do within walking distance.
10-15mins
Thanks! Your answer is awaiting moderation.