I don't know what kind of tea they are using there. On the machines in the dining halls, the caffeine contents of every beverage are listed.

It has been a year since I have been there, but this is what I remember

Coke and other softdrinks are listed as having:
38-44
Tea is listed as having:
65-75

Of course, I'm doing that from memory. Still, I imagine that iced tea has different caffeine quantity than green tea, and can also vary widely based upon its strength.

-Biscuits