Does anyone have recent experience at Edinburgh airport? I am wondering how long the queues are? Planning to arrive 3.5 hours early - will that be enough?