Guys - first thing I do when I buy something new is throw away all instructions and manuals(jk) — anyway does the aerator and recirc pumps have a timer function? Boats in storage, I’m snowed in - prior I d just manually flip them on and off , I can’t recall an auto function. Thanks