If your restaurant bill is $85.00 and you want to leave exactly a 15% tip, what is the correct tip amount?