DS leaves for Liberia in less than ten days. He's been given lots of shots, but little guidance on his mission. Checking the CDC yellow book, Liberia is listed as HIGH for relative risk to US travelers, as malaria is found in all areas. So, should I take him to our doctor here before he leaves...