That's the gist of it - though I personally prefer to do two sparges whenever possible (i.e. in this case, I'd batch sparge twice with about 3.25 gallons each), and let it sit for 5-10 minutes prior to draining to let the grain bed settle.
The Fiesty(sic) Goat Brewery est. 2007 & Clusterfuggle Experimental Ales est. 2009
Primary: Brett Saison, Brett Berliner Weisse, sLambic I, sLambic II, Pils, Dunkel, Oud Bruin
Secondary: Flanders Red I, Cab Merlot
Kegged: Porter, Scottish 80, Pils, Orange Blossom Mead