In a few weeks, we will be arriving in Panama City at 2:30. We then want to get on the earliest bus to David, which I believe is at 5:30. Any suggestions on what to do for those few hours? Are there places to sleep in the airport? Would it be best to stay in the airport until it is time to take a taxi to the bus terminal? Or is the bus terminal safe enough at that hour to just go straight htere and hang out until the bus leaves? Also, how early should we need to arrive for the bus?