Ok so now that Google and Apple have changed the name of the Gulf “officially” what map service can I use? I have Waze but prefer to see topography. Help! I cannot believe this!! 😡