You can mash with less water and top off after the mash. Sparging through the pulled grain would be the best option for efficiency, but not really necessary. I just top up while after I mash out.
BTW, depending how big a beer your making, you'll never be able to mash with 8.5 gallons.
My...