Who has a separate Antifreeze inlet on their camper and how do you use it? Do you need another pump to pump the antifreeze in or what?