After we get out of our tub, we add the Leisure Time replenish cycle. We've been turning on both jets and leaving the cover off for the full 20 minute jet cycle. Wondering if that's necessary. We have a separate circulator pump that's always running after we get out of the tub (due to the timing of the 8 hour circ cycle and when we use the tub, we can't manually turn the circ pump on like we can the jets unless we change the menu option for say a 24 hour circ cycle). Anyway, can we just add the Replenish and let the circulator do its thing and maybe wait 5 minutes or so to close the cover?