Just in case it's of interest to anybody, I did it, and it worked fine. Drained for about 11 hours the first day, stopped it overnight, and then drained another five or so the second day, with a low-power pump (11 gallons per minute, due to flow restrictions from the sewer folks). It seems to have worked well, no issues.