Even in a group of a lot of big airports, Istanbul is huge. Besides the things mentioned, there’s an enormous mall, all still within the security area. If I remember correctly, there are 6 Burger Kings in the airport! I think I measured on the map that from one end of the terminal, through the mall, and to the other…