20200508 city.mangaluru: 'Thirthahalli to get its own Agra Petha