Curious if any one can confirm the amount of coolant needed for a basic flush. I see my manual indicates a tad over 28 quarts, 7 Gallons. Past experience tells me I won't need that full amount. Just trying not to buy more than I really need. Thank you.