Trevor took one of his friends out to lunch. The lunches cost $248.40 and he paid 12.5% sales tax. If Trevor left a 15% tip on the $248.40, how much in total did he pay?