How much is the coolant for a 2001 Acura CL Type S from the dealer?

And I am getting my water pump/ timing belt changed, and the guy said I will need to pick up some coolant as well. First I've heard of this...anyone?How much is the coolant for a 2001 Acura CL Type S from the dealer?You shouldn't need to pay for,coolant..IF your getting,timing belt %26amp; water pump, done @ same time.Should be in the price..Should be no extras..TO answer your question,approx $12-00.