$10.50 for beers? Holy freak. Not only expensive but inconvenient. How greedy can an old man be?
It's just like the airlines...they got you where they want you and can do pretty much as they bloody well please.
That having been said though, I'll agree that price is rather stiff. In British currency USD10.50 = GBP8.44 at current rates - which is about twice what normal pub pints (about 19oz) cost over there on my most recent trip (November/December 2016).
Must be a nuisance for the in-stand vendors (do they still have these? I wasn't there yesterday) to have to make all that change - not like the $9 days when you could just add a $1 tip to the price for a perfect $10 round-number payment.
