Thanks for the comment. The tags were a tad off as per definition (https://wiki.openstreetmap.org/wiki/Tag:leisure%3Dstadium): The entire area entailing building(s) and pitch is the leisure=stadium and for a full stadium the building structure would be the building=stadium (not leisure=stadium) but in this case I would argue that the building matches a building=grandstand more; I've updated accordingly.