Everything I read about batch sparging says to "drain" the mash tun and add the sparge water. Do you actually drain all the wort out or stop and leave some water in so that the grains are still wet? I guess I am wondering how much to drain the mash tun?