Where do the tips you leave your restaurant servers go? Maybe not where you think. An announcement last week that a Honolulu restaurant owner had been ordered to pay his workers more than $70,000 in tips that he had pocketed offered a glimpse into a practice that Hawaiʻi workers who rely on tips, their advocates and government investigators say happens regularly.