Option 1 is better. Delhi Indhira Gandhi International Airport is far better now. No problem. If there is long waiting to catch nepal airlines then I advise to go to close by hotel called Shanti. http://shantipalace.com Good service, Airport Drop and pickup service also availiable. No hassles for sure.