20120724 city.mangaluru: Tourist town gets a new name