I do BIAB with the same sized pot...9 gallons and have really gotten comfortable with my process over the last few brews. You just need to start with a little less water. I usually start with 6-6.5 gallons of water heated to 160ish. After the mash, I rinse the grains with room temperature...