Adjustable Steel Double Diner - 3 Sizes

What’s the diameter of the 20 cup bowl? Thanks

I don’t have that info but I found someone answering a question about the 12 cup one on Amazon that the bowl was 9" across.