Оказывается, у аэропорта Шереметьево есть неофицальная, народная, кличка – Шарик.
А у аэропортов Домодедово и Внуково тоже есть народные имена?
Домодедово: Домик, Дедок, Дымок?
Внуково: кроме Внучка ничего в голову не пришло.

А питерский Пулково: Пуля, Полка?