My son will be flying by himself for the first time, and I want to make sure he knows exactly where to go at Laguardia. He will be flying Delta, but on the confirmation it says “operated by Shuttle America”. Would he be flying out of the Delta Terminal or the Marine Air Terminal? They are at opposite ends of the airport. Thanks!