Double crushing your grains can increase your efficiency, but might introduce tannins in your finished beer. According to Pat Hollingdale's interview w/ James Spencer on a recent Basic Brewing interview, your typical mash in a 3 vessel system is 60 minutes, but you end up spending at least...