Glad you arrived safe and sound. 5:15 departure is a bit later than most of the planes, so you were somewhat lucky with that, as far as the crowd. I do like the bar at the airport, although it would certainly be nice if you could get food either there at the bar, so a lot closer than it is now. Of course, who knows what it will all look like, whenever they decide to finish it, in 2024 or so.