Ah yes it would have been likely 3.5 lbs of dextrose (in this batch, not the previous one I mentioned).
To answer your questions, the post boil wort ended up being closer to 6 gallons, so that may have had an effect. I'm not too sure about the fineness of the grains, as they came pre-milled...