I am brewing my first all grain beer tonight. I had 11 lbs of grains and am using 3.5 gallons of water for my strike water. After the hour in my mash tun how much water should I use to mashout? The batch I'm making it 5 gal, do I take 5 gallons out of the mash tun or less? Thanks!