is 5 bucks in the sweltering sun, or 5 bucks just across the street at the Hilton (covered valet.) Yeah, you should tip the valet a few bucks, but it's worth it to get your car back nice and cool!