Michigan server who got $10,000 tip says she was fired in ensuing dispute

You know something I was made aware of? Tipping in the total amount…. So last night we went out for dinner with a buddy and his wife and the bill came to $254 before taxes, and $270 with taxes. It was pointed out my tip should have only been on the $254 not the $270…. Does anyone else tip that way?
The tip is pretty much 20% no matter what.. you are talking about 3 to 4 dollars here. People used to just say when it was 15%, take the Tax amount(8%) and double it. So that's still pretty accurate since taxes went up to around 10%. If you wanna throw in those extra 4 bucks. Do it.