My son was one of the first passengers using the refurbished Terminal 1 at Ben Gurion airport. Passengers of low-cost airlines now check-in, shop for duty free and board planes all from Terminal 1 without being bused to Terminal 3. The terminal handles 33 flights a day and 1.4 million passengers a year.
http://www.globes.co.il/en/article-ben-gurions-renovated-terminal-1-inaugurated-1001193236