Thanks. Not sure if anyone cares, but since OP was about ideas for efficiency, some notes on my process for 3.5 gal batch using 6.75 lbs of grain...
In the 4 gallon pot I mash in, I heat 2.2 gal of water to 164 degrees and put in the grain bag, pour in the grain, and stir it in thoroughly...