The cost of Ken's car wash was $24.00. If he wants to give his detailer a 15% tip, about how much of a tip should he leave?