The LHBS guy isn't all too far off.
Mash. Pull bag, let hang, flame on, maybe a little squeeze. Lower into room temp water in a bucket. Open bag, mix thoroughly, close bag, pull, hang, maybe a little squeeze. Pour sparge into kettle.
I BIAB and dunk (batch) sparge to extend my brew length. Splitting the total water gives more room for grain and allows 4 gallons out of a 5gal kettle. 3.75G for the occasional ~1.095. As an extra bonus over no sparge, the sparge gains an extra 8% efficiency at 1.040.
If I had a bigger kettle, I'd skip it. It adds a half hour or so of time to the day.
I mill very fine with a cheap Corona style mill. Plenty of flour. Even without the efficiency bump from the sparge, my 1.040 beer is over 80%.