Just before half time at the west lower kiosk nearest the south end, was told that there was no Harvey's anywhere in the whole stadium - completely sold out.
Walked 20 seconds down to the next kiosk where there was about 40 pints of pre-poured Harvey's. Communication would help.