Not taxing tips is a terrible idea