Looking at my Beersmith equipment setup profile, my post boil volume is actually about 6 gallons before losses to post boil losses and fermenter losses.
My confusion apparently was based on whether a "batch" is considered the final batch size or the "post boil size". Since I do use Beersmith...