Tomas, Don't forget that the stated 3.5 pints are English pints, same as the 4.4 American pints. -- All the best, Dick Ruzzin. ____________________________________________________________ dickruzzinDESIGN at aol.com / Phone: +313-824-0539 / Cell: 313-300-9558