I guess the good news is now we can ask the server their marginal tax rate and reduce our tips accordingly