Quinze a vinte minutos são geralmente suficientes. Não há registro para falar. A parte mais longa é passar pela imigração e, dependendo da localização do portão, caminhar até o portão.
Se é a sua primeira vez, eu diria chegar por volta das 12:10. Vai ser muito.