That's reasonable, but if we're talking easy math, I just add 25% to the base. Just divide by 4 and add that. Covers tax with about a 17-18% tip, and I usually round up. I also tip better to any server I see regularly, I agree that pays off.