Hiya so we need a new navigation gps system and were thinking to get one that'll work in orlando and disneyworld. The main ones seem to be tomtom or garmin, does anyone have these? which one works great out there please?