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
Planned: sLambic II, Flanders Red II
Primary: Saison, Berliner Weisse, Dark Mild, sLambic I
Secondary: Orange Blossom Mead, Flanders Red I
Kegged: Fat Man Porter w/ 1469, Fat Man Porter w/ 005, Centennial Falcon w/ Conan, Centennial Falcon w/ Denny's, Barrel-aged Fat Man Porter, Belgian Dark Strong
Bottled: Flanders Red I