Thanks! My math skills are (obviously) terrible, but I googled similar stock pots and I see what you mean! (I even measured my 5-gallon stock pot to compare.)
That’s good news, because I’ve been assuming that a 9- or 10-gallon brew pot would be too unwieldy for me to deal with.