One very important variable that hasn't been mentioned is the mashing temperature. For a beer that big, the mashing temperature should have been in the mid to high 140F's to produce a highly fermentable wort. In my experience, a wort that big doesn't need to rely on dextrins and other less fermentable sugars.