How long should it take to get through customs, etc. at LED? I'm arriving at 6:10 p.m. on a Sunday night & am trying to estimate when to tell my pre-arranged airport pick-up to meet me.

Also, are there ATMs in the international terminal at LED?

Thanks!