This is first message here, so please forgive me if I seem a little dimwitted! We are travelling to Singapore in August with our 7 year old. He has had all of the usual vaccinations, which additional vaccinations should he have? Thanks, Lou