If the OP would let us know which brand/model he has, I think someone
here might be able to check and find out. They vary from about 3.5 gal
to 11 gals for a normal cycle, entirely dependent on the particular
unit.