Thanks, Kai. I see what you are saying. You, and many brewers, may desire a gain of 5% efficiency. Perhaps what I don't realize is that for me, efficiency doesn't matter at all since I already see brewhouse efficiencies in the mid-80s or even 90s for my small batches mashed for 40 minutes, to where there is truly not much left to be gained by mashing any longer. Plus, for me, with a wife and 3 small kids to attend to, I like my brew day to be as short as humanly possible. I can knock out a small batch in 3.5 to 4 hours, versus the 5 or 6 hours it might take to do 5 or 6 gallons. So it does seem the answers are different for each brewer, depending on their batch size and system. Interesting. I guess I never really thought about this.