Does anyone know how long it takes to transfer from Mumbai International to the Domestic terminal - I gather there's a shuttle bus, but wondering whether I will be cutting it fine with transfers? Also, is there a good restaurant at Mumbai airport??