Currently brewing my first all grain beer, just had one question. I have 13.5 pounds of malt and I mashed with 5 gallons of water and got 3 gallons out when I was done mashing. Going to batch sparge with an additional 5 gallons. Is the 3 gallons of wort about the amount I should get out of my mash tun, or should there be more?