That was my take. Sounds pretty small. Makes one wonder what else is being exaggerated in this article?!
That sounds more like your average big cathedral, especially when fudged for the outside seating.