How to figure out mash tun dead space