It is around 1hour and 30 minutes, you can arrive at 11:30am so you can wait in the line and be on time for the service.
We didnt wait that long. I guess because we didnt have a big back pack and security was quick...
30 /40 minutes before is good! :)
Thanks! Your answer is awaiting moderation.