This is not a direct answer to your question, but another way to go about this would be to use a gallon or two of "kettle top-up". You would mash all your grains in less than the full amount of water, and after removing and draining the grains you top-up the kettle with the extra water to achieve your desired pre-boil volume. The kettle top-up is in the equipment profile, and for every gallon of kettle top-up the mash volume required goes down by 1 gallon. Just keep an eye on your mash water/grain ratio, but if you are starting with a full-volume BIAB mash setup then you can reduce your mash volume quite a bit before you get to the 1.25 gts/lb ratio that is typical of traditional mashing.
The only complication that I know about with this technique is water treatment. You want to treat the mash water to achieve the proper mash pH and flavor profile, but treat the top-up water only with the appropriate "flavor salts" with no need to worry about pH there. When I did this I took a bit of a shortcut. I would fill the kettle with all the water and treat it all at once with the "flavor salts" (i.e. Na, Cl, SO4), then remove a couple of gallons to a separate container, then add acid to the kettle if needed to get the right mash pH.
--GF