roadwarriorafrica, thanks for that. No-one had actually mentioned to us so far that the flights operate from two separate terminals!! So guess that means they will have to go through immigration after all. But will they really have to collect their bags, if they are tagged all the way from the UK to Mombassa?