How much of this antifreeze do I have to pour into the bucket. It's a gallon of antifreeze, so do I pure half of the bottle into a bucket. And then fill up the other half with water? And is it necessary to take of the thermostat off while doing this?