The Campbells went out to dinner at Chilli's. They spend $64.00 and want to leave a 20% tip. How much did they tip their server? ​