Right... and I responded saying take the amount of Tax and double it. So you are not tipping on Government funds. you are just using the government funds as a simple guide to what your tip should be at minimum.
the standard tipping used to be 15%, sales tax used to be 8%.. you could just double it. Now it's Tip 20%, sales tax is around 10%, you can just double it.