20200509 city.mangaluru: MIT student sets Guinness record with smallest working drill