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