You can also make a weaker mash I usually do 1.5qt or even 2qt to lb of grain. Stir like mad then run ur wort through to set to grain bed.
If I'm not getting lazy ill do that twice
I brew outdoors so I spare till liquor comes out lighter
And if efficient is a problem just round up...