Another thing I noticed years ago, forgot over my years away and relearned on my first batch this past weekend. I have noticed efficiency differences between pre-milled grain from online retailers (the recent experience was MoreBeer) that may have been milled a month prior for packaging or something milled a day prior at my local homebrew shop. This may not be the whole answer, but in my experience, it can be as much as .01 difference. It tends to lean closer to .003, but Saturday I missed my post-mash gravity by .006