Normally 20 minutes at worst, they get you set quite quickly.
If you go earlier there isn't much of a wait time.
We they where in my case really helpful , less than 5 min wait... But we arrive early around 5 pm ... The place is nice so I think later time will be more crowded.
Thanks! Your answer is awaiting moderation.