Restaurant workers - if we got rid of tipping permanently. How much would you need to make hourly to make up for the tips?