anyone know if tom tom comes with maps of the republic of ireland, or do you have to buy them??

my dad wants one for his bday, and wants to use it round ireland?

cheers