How many level sensors do I need if I want to have profilux 4 do auto top off and auto water change ? I understand for awc there's two level sensors involved, one high and one low. Can the high sensor do double duty as auto top off level sensor ? while doing AWC can the ATO function be disabled ? How can I program this ? thanks