An hour should be plenty. You can speed it up by brushing. If you have a wall whale brush, 5 minutes ought to mix things up enough - those things can move some water!
Hello , This thread has been inactive for over 60 days. New postings here are unlikely to be seen or responded to by other members. For better visibility, consider Starting A New Thread.
Welcome to TFP! For a wealth of pool care information please check out our free Pool School. If you are in need of specific help then we encourage you to Register and ask us here in the forum!