20120716 city.mangaluru: Pump operators get less than minimum wages in the district