Find a 12% tip on a check for $40.