Thanks for the responses, I appreciate it.

It was a 500mL bottle... not that that makes it much better. Considering the near parity of the USD and Euro, I really didn't think much about it as airport shops in the US tend to rip you off as much as they can. A few years ago it would have been $3.50 or more, that would have angered me after I think about it.

Lovely airport, except for my inability to go to the Sbarro's pizza (couldn't get into Departures 1).