For those keeping score at home, I decided to go with 2/3 of a pot (8 "cups") .
Also, it really annoys me that they refer to the measurement of coffee pots in "cups", when it's not actually a cup (IIRC, it's actually 6 oz rather than 8 oz, so 12 "cups" of coffee is really only 9 cups, which only translates to about 4-6 servings, depending on the size of the mug). ‎- Mr. Noodle
I've always found it rather incongruous, myself. ‎- Jenny H.