Hereis a link to my trip report finale from June this year, that shows what is available right now in the departure tent. As of approximately December 15 this year (hopefully) they will be moving to the bottom floor inside the actual airport. What will be there at that time is anyone's guess, although it presumably should be at least the same amount (which isn't a whole lot).
