I found it, it was 8 Dollars, which is over 6 Euro, but even at 5 euro that is more than anything but a major tourist trap charges. I have never paid more than 4 euro in Spain and usually 2.5-3.5, even when we are in Barcelona. The point was--this kid seems like he might not care much to look for better prices
and, the exchange rate is nutty going to pounds, but where the heck are they sending these students to eat. Their college kids right? Nandos or Wawas or other inexpesnive but good places still charge about 2.50 (and Nandos has unlimited refills BTW) and even at never places which cater towards tourists I have never seen more than 3 pound 50 for a drink in London.
.