20130404 city.mangaluru: Bus operators seek time on ticket vending machines