You shouldn't need any ATF; if you do it'll be less than a pint assuming you plug off or pinch off the hoses. Two gallons of coolant (1-gallon of anti-freeze plus one gallon of distilled water, which you can pick up for $1 at most grocery stores and department stores, like Walmart) will be plenty. ...