Yeah, it’s about 250ml, but that’s not an issue for me, as I frequently keep multiple different beans, and I enjoy brewing multiple small amounts and using different brew methods on a day off.
If I want a larger volume of coffee (like, to take to work, or on a road trip), I’ll use my autodrip...