My last beer was a Hazy DIPA with a OG of 1.087, and the total mash volume was a little over 10.5 gal. You could hold a couple of quarts of water out of the mash, but keep in mind you still need to be able to stir it. And, of course, the thicker you make the mash, the lower the efficiency will go.