how much coolant should be in the reservoir when hot