Newcomers are kindly informed that bus tickets downtown as well as airport bus tickets are available at the Info Point at the Leonardo building as well at the receptions of ICTP's guesthouses. Gadgets and other items are only available at the Info point shop at the Leonardo building.