I rest about 20-30. I typically open my drain a bit past half way to get the tubing full and then back it off. Takes about 5 minutes to pull 5.5 gallons. You should also plan on losing half gallon or so if you don't already.
I do pump, but a good stir for a minute and rest is all that is needed. It doesn't need to be a massive whirlpool